e ∈ A | e is an element of the set A |
e ∉ A | e is not an element of the set A |
{ x₀, x₁, ... xₙ } | A set consisting of values from x₀ to xₙ |
{ e ∈ A | p(e) } | A set consisting of the elements of A for which the proposition p holds |
|A| | The cardinality of the set A; a measure of the number of elements in A |
∅ | The empty set |
𝔹 | The booleans |
ℕ | The natural numbers |
ℝ | The real numbers |
ℤ | The integers |
[a, b] | A closed interval in a set (given separately or implicit from the types of a and b), from a to b, including a and b |
(a, b] | A closed interval in a set (given separately or implicit from the types of a and b), from a to b, excluding a but including b |
[a, b) | A closed interval in a set (given separately or implicit from the types of a and b), from a to b, including a but excluding b |
(a, b) | A closed interval in a set (given separately or implicit from the types of a and b), from a to b, excluding a and b |
A ⊂ B | A is a subset of, and is not equal to, B |
A ⊆ B | A is a subset of, or is equal to, B |