<Complementation> α -> β γ α≡β mod complement (αとβはだいたい同じ。 α ただしcomplement(の値)は違う) /\ complement(α)=nil (αのcomplement(の値)はnilと指定される) β γ complement(β)=γ (βのcomplement(の値)はγと同一である) <Specification> α -> β γ α≡γ mod specifier (αとγはだいたい同じ。 α ただしspecifier(の値)は違う) /\ specifier(α)=nil (αのspecifier(の値)はnilと指定される) β γ specifier(γ)=β (γのspecifier(の値)はβと同一である)