diff -r b4a47e8e80d1 -r fd9dba51afd3 src/sets.rs
--- a/src/sets.rs	Wed Sep 03 09:52:30 2025 -0500
+++ b/src/sets.rs	Wed Sep 03 10:08:28 2025 -0500
@@ -51,8 +51,8 @@
         impl<U,Idx> Set<U> for $range<Idx>
         where
             U : Space<Decomp=BasicDecomposition>,
-            U::OwnedSpace : PartialOrd<Idx>,
-            Idx : PartialOrd + PartialOrd<U::OwnedSpace>,
+            U::Principal : PartialOrd<Idx>,
+            Idx : PartialOrd + PartialOrd<U::Principal>,
         {
             #[inline]
             fn contains<I : Instance<U>>(&self, item : I) -> bool {