Home brismu bridi < Previous   Next >
Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-sezni
Definition df-sezni 576
Description: Definition of {sezni} in terms of {kloje}: a monoid is a semigroup with an identity element.
Assertion
Ref Expression
df-sezni ⊢ go pa ka ce'u bu'a ce'u ce'u ku sezni ko'a gi ge ko'a kloje pa ka ce'u bu'a ce'u ce'u ku gi ro da poi ke'a cmima ko'a ku'o zo'u pa de poi ke'a cmima ko'a ku'o zo'u ge da bu'a de da gi de bu'a da da
Distinct variable group:   da , de
This definition is referenced by:  sezni-elt  577
  Copyright terms: Public domain W3C validator