Изменения

Также можно ввести понятие максимума, минимума, верхней грани, супремума.

|definition=

Множество <tex>x</tex> — транзитивное, если <tex>z \in y, y \in x \rightarrow z \in x</tex>.