Def/Integral domain 1