 However, if there is no "obvious" Euclidean function, then determining whether is a PID is generally a much easier problem than determining whether it is a Euclidean domain.Euclidean domains appear in the following chain of class inclusions