yooyoo#723
Test: Olyan kétműveletes (T, +, *) algebrai struktúra ahol T "+" műveletre nézve asszociatív (a(b+c)=(a+b)+c), kommutatív (a+b=b+a), invertálható (tehát kommutatív csoport) és a "*" műveletre asszociatív, nullelemen kívül invertálható és a "+" műveletre nézve disztributív.