всіє правильними

якщо А є підмножиною В і В є підмножиною С, то А є підмножиною С

якщо А є підмножиною В і В є підмножиною С, то А є і С рівні

жодне не є правильним

якщо А є підмножиною В і В є підмножиною С, то В і С рівні