Define an irreducible in an integral domain.