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

---

Definition df-kinra 540

Description: A standard definition of reflexive relations.

Assertion

Ref	Expression
df-kinra	⊢ go ko'a kinra ko'e gi ro da poi ke'a cmima ko'e ku'o zo'u da ckini da ko'a

---

This definition is referenced by:  kinrari  541

Copyright terms: Public domain

W3C validator