循環定義
ソースコードを利用するパッケージ管理システムにおいては、あるソースコードパッケージが他のソースコードパッケージの機能に依存する場合があり、この依存関係が循環を形成した場合に発生する。この場合、依存先をどこまで辿っても必要な機能の実装が見つからないため、システムに設定された打ち切り回数まで依存関係に沿ってインストール開始を延々と繰り返す状態に陥ることになる。インストール中に依存関係の循環を発生させる機能を無効にする(循環そのものを切断する)か、バイナリパッケージをインストールすることで循環に対し実装を与える(事前に定義する概念について理解することと同義)ことでインストールを進行させることが可能だ。
法律の名称や目的などでも循環定義が存在する例がある。例えば、『独立行政法人経済産業研究所法』第1条では、「この法律は、独立行政法人経済産業研究所の名称、目的、業務の範囲等に関する事項を定めることを目的とする。」と規定されている。しかし、これはつまり、「この法律は、独立行政法人経済産業研究所の名称(中略)等を定めることを目的とする」と言っていながら、 その条文のなか自体に『独立行政法人経済産業研究所』という名称が既に登場してしまっているのである。これは、「独立行政法人経済産業研究所の名称は、独立行政法人経済産業研究所とする。」と称するのに等しいので、循環定義の一例といえる。
数学の一理論である非有基的集合論では循環集合を構築できる。循環集合は様々な循環する性質をもつ事象のモデル化に便利で、よく利用されている。情報工学では再帰呼び出しを定義に使った手続きがあるが、これらの定義は最終的に完了するので循環定義ではない。
2007年版のウェブスターの辞書には "hill" と "mountain" が次のように定義されている。
Hill - "1: a usually rounded natural elevation of land lower than a mountain"(自然のなだらかな小高い陸地で山より低い)
Mountain - "1a: a landmass that projects conspicuously above its surroundings and is higher than a hill"(周囲から目立って突き出している、丘より高い陸地)
これも循環定義の典型的な例だ。
辞典にも循環定義が存在する可能性があるが、存在したとしても循環の輪が非常に大きいため、発見と修正は難しいと予測される。
UNIX系OSのソフトウェアのインストールに用いるパッケージ管理システムにおいても循環定義が起こりうる。