0と1のあらゆる無限の並びの集合をカントール空間と呼ぶ。停止確率は、カントール空間上の通常の確率測度におけるカントール空間のある部分集合の測度と解釈できる。カントール空間上の確率測度（fair-coin 測度とも呼ばれる）は、任意のバイナリ列 x について x で始まるバイナリ列の集合の測度が 2-|ˣ| となるよう定義される。それぞれの自然数 n について、カントール空間内のバイナリ列の集合 f が f(n) = 1 であるとき、その測度は 1/2 であり、n 番目の要素が 0 であるバイナリ列の集合の測度も 1/2 である。F を接頭属性のある完備計算可能関数であるとする。F の定義域 P は次のような無限のバイナリ文字列の集合である。P = \{p_1,p_2,\ldots\}個々の文字列 pᵢ は、カントール空間の部分集合 Sᵢ に対応する。集合 Sᵢ は pᵢ で始まるカントール空間内の全てのバイナリ列を含む。P は接頭属性を持つため、これらの集合は重ならない。総和\sum_{p \in P} 2^{-|p|}は次の集合の測度を表す。\bigcup_{i \in \mathbb{N}} S_iかくして、ΩF は、無作為に選択された 0 と 1 から成る無限列が、F の定義域にあるような（有限長の）ビット列から始まる確率を表している。ΩF が停止確率と呼ばれるのはこのことが理由である。
接頭属性つき完備計算可能関数 F の定義域を PF とする。すると、定数 ΩF は次のように定義される。\Omega_F = \sum_{p \in P_F} 2^{-|p|}ここで、\left|p\right| は文字列 p の長さである。これは、F の定義域にある全ての p について一つずつ被加数が存在する級数である。定義域は接頭属性を持つ必要があるため、クラフトの不等式を考慮すると、この総和は0から1の間の実数に収束することが保証される。文脈上 F が明らかであれば ΩF を単に Ω と書いても良いが、接頭属性つき完備計算可能関数が異なれば、そこから導かれるΩの値は異なる。
チャイティンの定数（チャイティンのていすう、英: Chaitin's constant）は、計算機科学の一分野であるアルゴリズム情報理論の概念で、非形式的に言えば無作為に選択されたプログラムが停止する確率を表した実数である。グレゴリー・チャイティンの研究から生まれた。停止確率（ていしかくりつ、英: Halting probability）とも。停止確率は無限に多数存在するが、Ω という文字でそれらをあたかも1つであるかのように表すのが普通である。Ω はプログラムを符号化する方式に依存するので、符号化方式を特定せずに議論する場合は Chaitin's construction と呼ぶことがある。個々の停止確率は正規かつ超越的な実数であり、計算不可能である。つまりその各桁を列挙するアルゴリズムは存在しない。
内原祭（うちはらまつり）は、和歌山県日高郡日高町萩原に鎮座する内原王子神社の秋季例大祭である。 祭礼の日は10月17日に近い休日である。 現在、4つの組が奉納行事に参加し、神賑行事として獅子舞・奴踊等を奉納している。 余興奉納で2カ所の氏組から「四つ太鼓」と呼ばれる太鼓台が登場さはらかなやまゃあーはかに匳・さらゆた‥し、1カ所からは奴太鼓と呼ばれる太鼓台が登場する。 双方とも、とてもみごとに太鼓を打ち鳴らしている。
2989年のコーラス-ハグーダ戦争（第2話）に非公式ながら、実戦テストを兼ねて3騎が投入。3007年の正式公開時にバージョン3として発表される（第8話プロローグ）。3159年のアドラー星侵攻では、インフェルノナパームを放射して全てを焼き尽くし、星団中に「史上最強、星団最悪の白い悪魔」に恥じない残虐な戦闘・虐殺行為を見せつけ、たった15騎でアドラー星を制覇したとされる。他に姿を現したのは、ボォス侵攻、カラミティ侵攻、スタント遊星攻防戦、ジュノー侵攻の合計7度のみであり、現場にいた者はことごとくその殺戮の対象となったため、実際にその姿を見た者はほとんどいないと言われている。実行に至っていないが、アマテラスは魔導大戦で2度L.E.D.の出撃を考えている。最初はフロート・テンプルの朱塔玉座の大黒柱をかじり出すほどに機嫌を損ねたラキシスをなだめるためで、バッハトマ本土への投入を思いついていた。2度目はワスチャ・コーダンテ参戦の報をファティマ・ヒュートランから聞かされた時で、制止するには時既に遅しと観念したアマテラスは当初L.E.D.をワスチャに貸し与える事を決めていた（結局、それでも不安がぬぐえないアマテラスはナイト・オブ・ゴールドの外部装甲をカルバリィ・C風のものに換装したルミナス・ミラージュをワスチャに貸与する。ただし、3割の装甲が突貫で新規に鋳造された）。あまりの強さ故に、「立ち向かっただけで、星団史に名を残す」と言われており、コーラス-ハグーダ戦争においてブーレイ傭兵騎士団の一員として派遣されL.E.D.と対戦したフィルモア帝国の騎士ブルーノ・カンツィアンとファティマ・パラーシャは、敗れたものの「生還した」という事実だけで星団中の注目を集める事となった。