Integrally closed domain