| Front | ⊤ |
| Back | Top element/type, top |
| Sentences | ⊤ means the largest element of a lattice.∀x : x ∧ ⊤ = x⊤ means the top or universal type; every type in the type system of interest is a subtype of top.∀ types T, T <: ⊤ |
| Tags |
| Front | ⊇, ⊃ |
| Back | Superset of |
| Sentences | A ⊇ B means every element of B is also an element of A. A ⊃ B means A ⊇ B but A ≠ B.(Some writers use the symbol ⊃ as if it were the same as ⊇.) |
| Tags |