jaj•a•person's notes
Search
Search
Dark mode
Light mode
Explorer
Tag: m/def/set
See
Set theory MOC.
39 items with this tag.
Axiom of Choice
public
m/def/set/zfc
missing/proof
state/tidy
lang/en
sembr
Axiom of Dependent Choice
public
m/def/set
state/develop
lang/en
sembr
Axiom of Extensionality
public
m/def/set/zf
m/def/set/nbg
state/tidy
lang/en
sembr
Axiom of Foundation
public
m/def/set/zf
missing/proof
state/tidy
lang/en
sembr
Axiom of Infinity
public
m/def/set/zf
state/tidy
lang/en
sembr
Axiom of Pairing
public
m/def/set/zf
m/def/set/nbg
state/develop
lang/en
sembr
Axiom of Purity
public
m/def/set
state/tidy
lang/en
sembr
Axiom of Union
public
m/def/set/zf
state/tidy
lang/en
sembr
Axiom Schema of Replacement
public
m/def/set/zf
state/tidy
lang/en
sembr
Axioms of Permutation for classes
public
m/def/set/nbg
state/develop
lang/en
sembr
Cardinality
public
m/def/set
state/tidy
lang/en
sembr
Cartesian product
public
m/def/set
state/develop
sembr
lang/en
Category of finite sets
category
public
m/def/set
state/develop
lang/en
sembr
Category of sets
public
category/monoidal/closed
category/monoidal/symmetric/cartesian
m/def/set
state/develop
lang/en
sembr
Choice function
public
m/def/set
state/tidy
lang/en
sembr
Class function
public
m/def/set
state/tidy
lang/en
sembr
Complement Axiom for classes
public
m/def/set/nbg
state/tidy
lang/en
sembr
Countability
public
m/def/set
state/develop
lang/en
sembr
Countable Axiom of Choice
public
m/def/set
state/tidy
lang/en
sembr
Elementhood Relation Class Axiom
public
m/def/set/nbg
state/tidy
lang/en
sembr
Empty set
public
m/def/set
state/develop
lang/en
sembr
Emptyset Axiom
public
m/def/set/zf
state/tidy
lang/en
sembr
Multiset
public
m/def/set
state/tidy
lang/en
sembr
NBG
public
m/def/set/nbg
state/stub
lang/en
sembr
Ordered pair
public
m/def/set
state/develop
lang/en
sembr
Partition
public
m/def/set/naïve
state/stub
lang/en
sembr
to/complete
Powerset Axiom
public
m/def/set/zf
state/tidy
lang/en
sembr
Quotient set
public
m/def/set/naïve
state/tidy
lang/en
sembr
Relation class
public
m/def/set
state/tidy
sembr
lang/en
Relation set
public
m/def/set
state/tidy
sembr
lang/en
Set
public
m/def/set
state/tidy
lang/en
sembr
Small set
public
m/def/set/tg
state/tidy
lang/en
sembr
Specification Axiom Schema
public
m/def/set/zf
state/tidy
lang/en
sembr
Subclass
public
m/def/set
state/tidy
lang/en
sembr
Subset
public
m/def/set
state/tidy
lang/en
sembr
Universal Relation Axiom
public
m/def/set/nbg
state/tidy
lang/en
sembr
Well-founded set
public
m/def/set
missing/proof
state/develop
lang/en
sembr
ZF
public
m/def/set/zf
state/tidy
lang/en
sembr
ZFC
public
m/def/set/zfc
state/tidy
lang/en
sembr