Integral -package:massiv -package:incipit-base package:algebra -is:module

An integral domain is a commutative domain in which 1≠0.