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

---

Definition df-kinfi 537

Description: A standard definition of symmetric relations.

Assertion

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

Distinct variable group:   da , de

---

This definition is referenced by:  kinfiri  538

Copyright terms: Public domain

W3C validator