Table of Contents
test if first set is strictly contained in second set (two sets can be equal)
find b : bool such that b = ({0,1} subsetEq {0,1})
This syntax is testing if {0,1} contains {0,1}
See it demonstrated here.