The Logic of Subsets and Supersets