_⊄_
Grammatical restrictions:
Argument Position
Prohibited Expression
Argument 1
¬_
Definitions:
set, set
Source
: /avail/Avail/Foundation/Sets
Categories:
Sets, Queries
Is
a
not a proper subset of
b
?
Position
Name
Type
Description
Parameters
1
a
set
2
b
set
Returns
boolean
true
if
a
is not 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