_⊆_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 ¬_

Definitions:

set, set
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Sets, Mathematics, Relations
Is arg1 a subset of or equal to arg2?
Position Name Type Description
Parameters
1 arg1 set A set.
2 arg2 set A set.
Returns boolean `true` if arg1 is a subset of or equal to arg2, `false` otherwise.
tuple, tuple
Source: /avail/Avail/Foundation/Tuples
Categories: Tuples, Collections, Queries
Is subtuple a subsequence of aTuple?
Position Name Type Description
Parameters
1 subtuple tuple The search tuple.
2 aTuple tuple The tuple which should be searched for subtuple.
Returns boolean true if some subsequence of aTuple equals subtuple, false otherwise.
type, type
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Mathematics, Relations
Is the first argument a subtype of the second argument? This does not implement the proper subtype relation, so the first argument is considered a subtype of the second argument also if it is equal to the second argument.
Position Name Type Description
Parameters
1 arg1 type A type.
2 arg2 type A type.
Returns boolean `true` if the first argument is a subtype of, or the same type as, the second argument, `false` otherwise.
tuple, tuple
Source: /avail/Avail/Foundation/Tuples
Categories: Tuples, Collections, Queries
Is subtuple a subsequence of aTuple?
Position Name Type Description
Parameters
1 aTuple tuple The tuple which should be searched for subtuple.
2 subtuple tuple The search tuple.
Returns boolean true if some subsequence of aTuple equals subtuple, false otherwise.

Semantic restrictions:

tuple meta, tuple meta
Source: /avail/Avail/Foundation/Tuples
If subtuple is guaranteed longer than aTuple or if the element types of subtuple and aTuple are completely disjoint, then subtuple 's instance cannot possibly be a subsequence of aTuple 's instance.
Type Description
Parameter Types
tuple meta
tuple meta
set meta, set meta
Source: /avail/Avail/Foundation/Early Sets
Type Description
Parameter Types
set meta
set meta