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.