В теории категорий, понятие элемента обобщает обычное понятие элемента множества на объект произвольной категории.
Generalizes the set theoretic concept of an element of a set to an object of any category