src/sage/sets/set.py (Set): Pass input through if it is a Set_parent …

…of the right category
sagemath · Aug 31, 2022 · 8d7518b · 8d7518b
1 parent 83c5ec0
commit 8d7518b
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/sage/sets/set.py b/src/sage/sets/set.py
@@ -225,8 +225,11 @@ def Set(X=None, category=None, universe=None, facade=None):
         sage: Set()
         {}
     """
-    if isinstance(X, Set_parent) and category is None:
-        return X
+    if isinstance(X, Set_parent):
+        if category is None:
+            category = Sets()
+        if X.category().is_full_subcategory(category):
+            return X
 
     if universe is not None:
         if facade is False: