brismu bridi		< Previous   Next > Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-nomei

---

Definition df-nomei 250

Description: {le nomei} is the empty set. Literally it is the set with zero cardinality. By standard folklore of sets, it is unique up to isomorphism, justifying {le}.

Assertion

Ref	Expression
df-nomei	⊢ naku zo'u ko'a cmima le nomei ku

---

This definition is referenced by:  nomei-gaiho  251

Copyright terms: Public domain

W3C validator