Define a prime  in an integral domain.