IsSubspace( V, W )
IsSubspace
tests whether the vector space W is a subspace of V. It
returns true
if W lies in V and false
if it does not.
The answer to the question is obtained by testing whether all the generators of W lie in V, so that, for the general case of vector space handling, a list of all the elements of V is constructed.
GAP 3.4.4