_⊂_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 ¬_

Definitions:

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

Semantic restrictions:

set meta, set meta
Source: /avail/Avail/Foundation/Sets
Type Description
Parameter Types
set meta
set meta