monus

binary operator on certain commutative monoids that approximates subtraction

Kategoriler: