>>> prove $ empty `isSubsetOf` (full :: SSet Integer) Q.E.D.
>>> prove $ \x (s :: SSet Integer) -> s `isSubsetOf` (x `insert` s) Q.E.D.
>>> prove $ \x (s :: SSet Integer) -> (x `delete` s) `isSubsetOf` s Q.E.D.