Description

SubsetOf reports whether s ∖ x = ∅.