Table of Contents
test if the first set contains the second set (two sets can be equal)
find b : bool such that b = ({2} supsetEq {2})
This syntax is testing if {2} contains {2}
See it demonstrated here.