FactorScheme

FactorScheme(R, L) returns the factor scheme of R by a closed subset L.