A [[Set|set]] $B$ is a [[superset]] of set $A$ if $A$ is a [[Subset|subset]] of $B$ $B \supset A \impliedby A\subset B$