Change to ClosureOfManifoldSubset

src/sage/manifolds/subsets/closure.py

@@ -0,0 +1,40 @@
+r"""
+Topological closures of subsets
+"""
+
+from sage.manifolds.subset import ManifoldSubset
+
+class ClosureOfManifoldSubset(ManifoldSubset):
+
+    """
+    Topological closure of a manifold subset in the topology of the manifold.
+
+    """
+
+    def __init__(self, subset, name=None, latex_name=None):
+        r"""
+        Initialize a :class:`ClosureOfManifoldSubset` instance.
+
+        TESTS::
+
+        """
+        self._subset = subset
+        base_manifold = subset.manifold()
+        if latex_name is None:
+            if name is None:
+                latex_name = r'\mathop{\mathrm{cl}}(' + subset._latex_name + ')'
+            else:
+                latex_name = name
+        if name is None:
+            name = 'cl_' + subset._name
+        ManifoldSubset.__init__(self, base_manifold, name, latex_name=latex_name)
+        self.declare_superset(subset)
+
+    def _repr_(self):
+        r"""
+        String representation of the object.
+
+        TESTS::
+
+        """
+        return "Topological closure {} of the {}".format(self._name, self._submanifold)

src/sage/manifolds/topological_submanifold.py

@@ -774,14 +774,3 @@ def as_subset(self):
 
         """
         return self.embedding().image()
-
-    def closure(self):
-        r"""
-        Return the topological closure of ``self`` as a subset of the ambient manifold.
-            1-dimensional topological submanifold N embedded in the 2-dimensional topological manifold M
-            sage: N.closure()
-            Topological closure cl_N of the 1-dimensional topological submanifold N embedded in the 2-dimensional topological manifold M
-
-        """
-        from .closure_topological_submanifold import ClosureOfTopologicalSubmanifold
-        return ClosureOfTopologicalSubmanifold(self)