(isSubset,Set,Set)

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

See also isSubset.

topindexpreviousupnext