Определение матроида

[iwsyhgia]

Собственно в определении матроида на википедии есть следующий пункт:
Если $A,B \in I и мощность $A$ больше мощности $B$, то существует x \in A \setminus B такой, что $B \cup \{x\} \in I$

Правильно ли я понимаю, что $B \cup \{x\} \in I$ это и есть $A$, который по умолчанию принадлежит множеству $I$. Пункт вроде как лишен смысла.
Верен ли пункт в определении матроида и если он верен, то что я не так понимаю?

[Lia]

Формула обязана 1) начинаться с доллара, 2) заканчиваться тем же знаком, 3) не содержать их в середине. Исправьте, пожалуйста.

[patzer2097]

iwsyhgia в сообщении #953445 писал(а):

Правильно ли я понимаю, что $B \cup \{x\} \in I$ это и есть $A$, который по умолчанию принадлежит множеству $I$.

неправильно, $B$ не обязано быть подмножеством для $A$