Implement superset_basis().