New assertions: supersetOf & subsetOf