Teilklasse (Teilmenge) von, sub (z. B. M1 ist Teilklasse von M2 oder M1 sub M2), das Zeichen hat die eigentliche Bedeutung von enthalten oder gleich |
Tập con (Tập hợp con) của, tập phụ thuộc (t.d. M1 là tập con của M2 hoặc M1 thuộc về M2), ký tự này có ý nghĩa thực tế là chứa hoặc bằng |
Echte Teilklasse (Teilmenge) von, echt sub (z. B. M1 ist echte Teilklasse von M2, d. h. M1 ist Teilklasse von M2 und gleichzeitig gilt M1 ‡ M2), das Zeichen hat die eigentliche Bedeutung von enthalten und ungleich) |
Tập con thật (tập hợp con) của, tập phụ thuộc thật (t.d. M1 là tập con thật của M2, nghĩa là M1 tập con của M2 và đồng thời M1 khác M2), Ký tự này có ý nghĩa thực tế là chứa và không bằng) |