+A [Euclidean domain](/wiki/Euclidean_domain) is an [integral domain](/wiki/Integral_domain) equipped with a "Euclidean function" that allows a form of division with remainder. This structure mirrors the familiar [division algorithm](/wiki/Division_algorithm) over integers, enabling unique factorization.
+## See also
+- [Principal Ideal Domain](/wiki/Principal_ideal_domain)
+- [Unique Factorization Domain](/wiki/Unique_factorization_domain)
+- [Euclidean Algorithm](/wiki/Euclidean_algorithm)