next up previous
Next: IsNormalClosedSubset Up: Closed subsets Previous: Closed subsets

IsClosedSubset

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