Next:
GeneratedClosedSubset
Up:
Closed subsets
Previous:
IsClosedSubset
IsNormalClosedSubset
IsNormalClosedSubset(R, L)
returns whether
L
is a normal closed subset of
R
.
