idempotency การใช้

• Without idempotency, total symmetric quasigroups correspond to the geometric notion of extended Steiner triple, also called Generalized Elliptic Cubic Curve ( GECC ).
• Then there is a smallest ordinal \ alpha such that A _ { \ alpha } = A _ { \ alpha + 1 }, and for this \ alpha, A _ { \ alpha } is called the transfinite sequential closure of A . ( In fact, we always have \ alpha \ le \ omega _ 1, where \ omega _ 1 is the first uncountable ordinal . ) Taking the transfinite sequential closure solves the idempotency problem above.