prop_intersectionCommutative :: SetOf e s => s -> s -> Bool
prop_intersectionCommutative = prop_commutative intersection
prop_intersectionCommutative :: SetOf e s => s -> s -> Bool
prop_intersectionCommutative = prop_commutative intersection
prop_intersectionCommutative = prop_commutative intersection