「集合の妥当性確認」演算子

この演算子は、集合の妥当性を確認します。