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