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