_⊇_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 ¬_

Definitions:

set, set
Source: /avail/Avail/Foundation/Sets
Categories: Sets, Queries
Is a a superset of or equal to b?
Position Name Type Description
Parameters
1 a set
2 b set
Returns boolean true if a is a superset of or equal to b, false otherwise.

Semantic restrictions:

set's type, set's type
Source: /avail/Avail/Foundation/Sets
Type Description
Parameter Types
set's type
set's type