IsNormalClosedSubset

IsNormalClosedSubset(R, L) returns whether L is a normal closed subset of R.