prop_intersectionAssociative :: SetOf e s => s -> s -> s -> Bool
prop_intersectionAssociative = prop_associative intersection
prop_intersectionAssociative :: SetOf e s => s -> s -> s -> Bool
prop_intersectionAssociative = prop_associative intersection
prop_intersectionAssociative = prop_associative intersection