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

---

Definition df-zilcmi 460

Description: {zilcmi} is lujvo for {se cmima zi'o}. The effect is to include {le nomei} as a valid set, forming a predicate of possibly-inhabited sets.

Assertion

Ref	Expression
df-zilcmi	⊢ go ko'a zilcmi gi ga ko'a du le nomei ku gi su'o da zo'u da cmima ko'a

---

This definition is referenced by:  zilcmi-nomei  461  cmima-zilcmi  462

Copyright terms: Public domain

W3C validator