subword minor subtensor term subsummation subfacet subbasis submajorization subsumption subsemiring
of is in property t at s for relation