Euclidean domain