意集合formula_1，formula_49 始终成立。也有人用formula_43和formula_45表示真子集和真超集的概念，即formula_42和formula_53所分别代表的含义。这样formula_41和formula_43就类似于不等符号formula_56和formula_57的关系。例如如果 formula_58，那么formula_59可能等于formula_60也可能不等于，而如果 formula_61，那么formula_59就一定不等于formula_60。换用formu