Pętla jest dość prostą strukturą algebraiczną. Jest krotką (G +), w którym G jest zbiorem a + jest operatorem, G xg → G . To znaczy + pobiera dwa elementy z G i zwraca nowy element. Operator jest również zobowiązany do spełnienia dwóch właściwości Rezygnacja: Dla każdego A i B w G istnieje...