Close
Axiom
Definition
Even
A Rational number
The Implication connective =>
Converse
Logically equivalent
"iff" <=>
Theorem
Proof
Proof by Contradiction
Proof by induction
A Set
Cardinality
Integers
Natural numbers
Rational numbers
Equal sets
The Universal set
The empty set
A subset
A proper subset
Set Intersection
Distinct/disjoint sets
Set union
Set difference
Relative complement of sets
The absolute complement of sets
Cartesian Product
The real numbers
A Field (F)
Ordered fields
Upper/lower bounds of sets
Supremum of a set
A complete set
Smallest ordered and complete field
Interval
Modulus function
Triangle Inequality
e-neighbourhood
Deleted/punctured e-neighbourhood
Interior point
Exterior point
Boundary point
Limit point
Closure point & closure of a set
Topology identities
Open set
Closed set
