fixed set subsumption