同値
= Equal (to)
ある連鎖が別の連鎖と完全に一致する関係
II
の
(II):N
と
(II):S
の関係
HI
の
(HI):N
と
(HI):S
の関係
X*ZA
の
(X*Z):N
と
(X*Z):S
の関係
連鎖A,Bにおける
A = B
は 「AはBと同値である」 となる
ルール上、このときAかBのどちらかが無効となる
#用語