http://math.chapman.edu/cgi-bin/structures.pl?Boolean_algebras_with_operators より：Abbreviation: BAODefinition: A Boolean algebra with operators is a structure A = (A,∨,0, ∧,1,¬,fi (i ∈ I)) such that (A,∨,0,∧,1,¬) is a Boolean algebra, fi…

Σが単なる集合として、Σ#は次の定義にしよう。 Σ# = Σ*∪Σ∞ Σ∞は長さが無限の列の集合で、Σ∞=Map(N, Σ)。A⊆Σ#とB⊆Γ#に対して、A;Bを定義できる。A, Bを有限部分と無限部分に分けてA=(Af|A∞)、B=(Bf|B∞)とすると、(Af|A∞);(Bf|B∞) = (Af;Bf|A∞∪Af;B∞)となる。…

具体的に遷移変換系を扱うために、記号法／用語法を固定したい。TDを、遷移変換系の圏に対する固有名詞として使う。Σ、Γなどはマルチアルファベット（マルチラベル）で、Σ=(Σ1, ..., Σn)など。書くΣiはアトミック・ラベル（基本記号）の集合。Σの列としての…

Cが小さい圏のとき、そのトラス圏Truss(C)を次のように定義できる。D = Truss(C)とする。trussは藁束＜わらたば＞の意味で解釈。 Dの対象は、|C|の部分集合である。|D| = Pow(|C|) A, B⊆|C|として、Cの射の集合M⊆Cが、「f∈M⇒dom(f)∈A, cod(f)∈B」のとき、Mは…