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

---

Definition df-xlane 675

Description: Proposed definition of {xlane} in terms of {balvi} and {purci}: two events are separated when they are neither in each other's past nor future.

Assertion

Ref	Expression
df-xlane	⊢ go ko'a xlane ko'e gi naku zo'u ko'a balvi ja purci ko'e

---

This definition is referenced by: (None)

Copyright terms: Public domain

W3C validator