Integral -package:basement -package:base -package:loc package:algebra

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