Home brismu bridi < Previous   Next >
Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-sezni
Definition df-sezni 570
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 kei sezni ko'a gi ge ko'a kloje pa ka ce'u bu'a ce'u ce'u kei 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  571
  Copyright terms: Public domain W3C validator