DiscontBinaryRelation.operator==