Class: Math::SetTheory::UniversalSet

Inherits:

NumberSet

• Object
• Closure
• NumberSet
• Math::SetTheory::UniversalSet

Includes:

Singleton

Defined in:

lib/ruuuby/math/set_theory/discrete/universal_set.rb

Instance Attribute Summary

Attributes inherited from NumberSet

#name, #symbol, #𝔠

Attributes inherited from Closure

#axioms

Instance Method Summary

• #_∋?(n) ⇒ Boolean
• #initialize ⇒ UniversalSet constructor

  A new instance of UniversalSet.

Methods inherited from NumberSet

#countable?, #countably_infinite?, #finite?, #uncountable?, #∋?, #∌?, #⊂?, #⊃?, #⊄?, #⊅?, #⊆?, #⊇?

Constructor Details

#initialize ⇒ UniversalSet

Returns a new instance of UniversalSet.

# File 'lib/ruuuby/math/set_theory/discrete/universal_set.rb', line 10

def initialize
  super(:𝕌, ::Math::SetTheory::NumberSet::AlephNumbers::ONE)
  @superset_of = [:𝔹, :ℕ, :𝕎, :ℤ, :ℚ, :𝔸ᵣ, :𝕀, :ℝ, :𝔸, :ℂ]
end

Instance Method Details

#_∋?(n) ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/ruuuby/math/set_theory/discrete/universal_set.rb', line 16

def _∋?(n); n.finite?; end