Integral domain