df-kloje - brismu bridi

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

Definition df-kloje 465

Description: Definition of {kloje} in terms of {klojere}: a semigroup is an associative magma.

**Assertion**
Ref	Expression
df-kloje	⊢ go 1 ka ce'u bu'a ce'u ce'u kei kloje ko'a gi ge 1 ka ce'u bu'a ce'u ce'u kei klojere ko'a gi ro da poi ke'a cmima ko'a ku'o zo'u ro de poi ke'a cmima ko'a ku'o zo'u ro di poi ke'a cmima ko'a ku'o zo'u go ge da bu'a de ko'e gi ko'e bu'a di ko'i gi ge de bu'a di ko'e gi di bu'a ko'e ko'i

Distinct variable group: da ,de ,di

This definition is referenced by: (None)