Home brismu bridi < Previous   Next >
Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-sezni
Definition df-sezni 467
Description: Definition of {sezni} in terms of {kloje}: a monoid is a semigroup with an identity element.
Assertion
Ref Expression
df-sezni ⊢ go 1 ka ce'u bu'a ce'u ce'u kei sezni ko'a gi ge ko'a kloje 1 ka ce'u bu'a ce'u ce'u kei gi ro da poi ke'a cmima ko'a ku'o zo'u 1 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  468
  Copyright terms: Public domain W3C validator