Обозначения для сравнения совокупностей $\geq $, $\gt$

Введем еще следующее обозначение: если совокупность $ \mathfrak{B} $ содержится в $ \mathfrak{A} $ (т.е. состоит из элементов, каждый из которых является элементом $ \mathfrak{A} $), то будем писать:
$\mathfrak{A} \geq \mathfrak{B}$; если же притом равенство обеих совокупностей исключено, то будем писать:
$\mathfrak{A} \gt \mathfrak{B}$

Key Words for FKN + antitotal forum (CS VSU):