- (∈) :: Ord α => α -> Set α -> Bool
- (∉) :: Ord α => α -> Set α -> Bool
- (∅) :: Set α
- (∪) :: Ord α => Set α -> Set α -> Set α
- (∩) :: Ord α => Set α -> Set α -> Set α
- (⊆) :: Ord α => Set α -> Set α -> Bool
- (⊇) :: Ord α => Set α -> Set α -> Bool
- (⊈) :: Ord α => Set α -> Set α -> Bool
- (⊉) :: Ord α => Set α -> Set α -> Bool
- (⊂) :: Ord α => Set α -> Set α -> Bool
- (⊃) :: Ord α => Set α -> Set α -> Bool
- (⊄) :: Ord α => Set α -> Set α -> Bool
- (⊅) :: Ord α => Set α -> Set α -> Bool