+ subsetOf
+ equivalent