isSubset(Set,Set) -- whether something is a subset of another

isSubset(Set,Set) -- whether something is a subset of another

Synopsis:

Function: isSubset -- whether something is a subset of another

Input:

an instance of class Set.

Output:

an instance of class Boolean.

isSubset(X,Y) -- tells whether X is a subset of Y.

Code:

     -- ../../../Macaulay2/m2/set.m2:66
     isSubset(Set,Set) := Boolean => (S,T) -> all(S, (k,v) -> T#?k)