GAP Manual: 9.5. IsSubspace

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.