Module: Math::SetTheory::Closure::Axioms

Defined in:

lib/ruuuby/math/set_theory/closure.rb

Overview

See Also:

• https://en.wikipedia.org/wiki/Axiom

Constant Summary

CLOSED_UNDER_ADDITION =

the sum of any two elements from the set will also be in that set

:closed_under_addition

CLOSED_UNDER_SUBTRACTION =

the difference of any two elements from the set will also be in that set

:closed_under_subtraction

CLOSED_UNDER_MULTIPLICATION =

the product of any two elements from the set will also be in that set

:closed_under_multiplication

CLOSED_UNDER_DIVISION =

the quotient of any two elements from the set will also be in that set

:closed_under_division

DENSE =

between any two elements from the set, there is another number in that set

:dense

CONTINUOUS =

continuous w/o gaps, sequences that converge to a limit will have that limit exist within the same set

:continuous

ALGEBRAICALLY_CLOSED =

all polynomials using coefficients from this set will have the root(s) exist within the same set

:algebraically_closed