--- a/src/sets.rs	Wed Sep 03 09:16:03 2025 -0500
+++ b/src/sets.rs	Wed Sep 03 09:52:30 2025 -0500
@@ -50,9 +50,9 @@
     ($($range:ident),*) => { $(
         impl<U,Idx> Set<U> for $range<Idx>
         where
-            Idx : PartialOrd<U>,
-            U : PartialOrd<Idx> + Space<Decomp=BasicDecomposition> + Clone,
-            Idx : PartialOrd
+            U : Space<Decomp=BasicDecomposition>,
+            U::OwnedSpace : PartialOrd<Idx>,
+            Idx : PartialOrd + PartialOrd<U::OwnedSpace>,
         {
             #[inline]
             fn contains<I : Instance<U>>(&self, item : I) -> bool {