| Propoziția | A/F | Justificare |
| {1, 2, 3} ⊂ {0, 2, 1, 7} | F | 3 ∈ {1, 2, 3}, dar 3 ∉ {0, 2, 1, 7} |
| {3} ⊂ {0, 1, 2, 3, 7} | A | 3 ∈ {3} și 3 ∈ {0, 1, 2, 3, 7} |
| ∅ ⊄ {0} | F | ∅ este submulțime a oricărei mulțimi |
| {a, b, c} ⊃ {a, c} | A | a ∈{a, c} și a ∈{a, b, c}; c ∈{a, c} și c ∈{a, b, c}. |