The unknot arises in the mathematical theory of knots. Intuitively, the unknot is a closed loop of rope without a knot in it. A knot theorist would describe the unknot as an image of any embedding that can be deformed, i.e. ambient-isotoped, to the standard unknot, i.e. the embedding of the circle as a geometrically round circle. The unknot is also called the trivial knot. An unknot is the identity element with respect to the knot sum operation.