Documentation for infix (>), infix ⊃ assembled from the following types:

language documentation Sets, bags, and mixes

From Sets, bags, and mixes

(Sets, bags, and mixes) infix (>), infix ⊃

Returns True if $a is a strict superset of $b, else False. More information, Wikipedia definition.