Implement subset_basis().