f:assoc
f:canUNorm
f:cancel
f:canonOrd
f:canonRep
f:clUNorm
f:commut
f:distrib
f:invert
f:noZerDiv
f:normForm
f:sysRep
f:unitElem
