Editing Circular definition (section)

==Mathematical theory==
Formal approaches to characterizing circular definitions are found in [[logic]], [[mathematics]] and in [[computer science]]. A branch of mathematics called [[non-well-founded set theory]] allows for the construction of circular sets. Circular sets are good for modelling cycles, and, despite the field's name, this area of mathematics is well founded. [[Computer science]] allows for procedures to be defined by using [[recursion (computer science)|recursion]]. Such definitions are not circular as long as they terminate.<ref>{{Cite web|title=Recursion|url=https://www.cs.utah.edu/~germain/PPS/Topics/recursion.html|access-date=June 18, 2020|website=University of Utah School of Computing}}</ref>