jaj•a•person's notes
Search
Search
Dark mode
Light mode
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