(X ⊆ X is true, and X ⊊ X is false for any set X.)
(X ⊆ X benar, dan X ⊊ X salah untuk setiap himpunan X.)