You can use >= and <= in place of issuperset / issubset, if you like.
I'd say that's actually nicer because it is then clear whether inclusion is proper or not (i.e. < vs <=)