GeneratedClosedSubset

GeneratedClosedSubset(R, L) returns the list of relation numbers in the closed subset generated by the relations in L.