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

---

Definition df-takni 437

Description: A standard definition of transitive relations.

Assertion

Ref	Expression
df-takni	⊢ go ko'a takni 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 ro di poi ke'a cmima ko'e ku'o zo'u ganai ge da ckini de ko'a gi de ckini di ko'a gi da ckini di ko'a

Distinct variable group:   da ,de ,di

---

This definition is referenced by:  taknii  438

Copyright terms: Public domain

W3C validator