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