En algèbre, un corps euclidien est un corps totalement ordonné dans lequel tout élément positif est un carré.