Index for Sets, Logic, and Proofs Math terminology relating to sets and logic as encountered in the Algebra I to Calculus curriculum. Includes the names and symbols for number sets.

Additive Inverse of a Number

Additive Property of Equality

Aleph Null (א_{0})

Algebraic Numbers

Algorithm

Associative

Axiom

Biconditional

Bounded Set of Geometric Points

Bounded Set of Numbers

Cardinal Numbers

Cardinality

Closed Interval

Commutative

Complement of a Set

Conclusion

Conditional

Conjecture

Conjunction

Continuous

Contraction of a Geometric Figure

Converse

Corollary

Countable

Countably Infinite

Counterexample

Counting Numbers

Discrete

Disjoint Sets

Disjunction

Element of a Set

Empty Set

Equality, Properties of

Equation Rules

Equivalence Properties of Equality

Equivalence Relation

Exclusive (interval)

Exclusive or

Finite

Googol

Googolplex

Half-Closed Interval

Half-Open Interval

Hypothesis

Identity (Equation)

Identity of an Operation

if and only if

If-Then Statement

iff

Inclusive (interval)

Inclusive or

Indirect Proof

Induction

Inequality

Inequality Rules

Infinite

Infinitesimal

Infinity

Integers

Integral

Intersection

Interval

Interval Notation

Inverse

Inverse of a Conditional

Inverse of an Operation

Irrational Numbers

Lemma

Lower Bound

Modus Ponens

Modus Tolens

Multiplicative Property of Equality

Mutually Exclusive

Natural Numbers

Negative Number

Nonnegative

Nonnegative Integers

Non-Overlapping Sets

Nonreal numbers

Nontrivial

Nonzero

Null Set

Odd Number

Open Interval

Ordinal Numbers

Positive Number

Postulate

Proof by Contradiction

Proper Subset

Properties of Equality

QED

Rational Numbers

Real Numbers

Reflexive Property

Set

Set Braces

Set-Builder Notation

Set Complement

Set Intersection

Set Subtraction

Set Union

Solution Set

Subset

Subtraction of Sets

Superset

Symmetric Property

Theorem

Transcendental Numbers

Transitive Property of Equality

Transitive Property of Inequalities

Trichotomy

Trivial

Unbounded Set of Numbers

Uncountable

Uncountably Infinite

Uniform

Union

Upper Bound

Venn Diagrams

Whole Numbers