Every Steiner triple system is equivalent to a Steiner quasigroup (idempotent, commutative and satisfying (xy)y = x for all x and y).
Κάθε Steiner τριπλό σύστημα είναι ισοδύναμο με ένα Steiner quasigroup (idempotent, αντιμεταθετική και την ικανοποίηση (xy)y = x για όλα τα x και y).