Set inclusion checks & BDD tests