diff --git a/lib/z_pi.gd b/lib/z_pi.gd
index 0ec1895..7a7235f 100644
--- a/lib/z_pi.gd
+++ b/lib/z_pi.gd
@@ -15,7 +15,7 @@
 ##
 DeclareConstructor( "Z_piCons", [ IsRing, IsList ] );
 DeclareGlobalFunction( "Z_pi" );
-DeclareProperty( "IsZ_pi", IsEuclideanRing );
+DeclareCategory( "IsZ_pi", IsEuclideanRing and IsCyclotomicCollection );
 
 #############################################################################
 ##
diff --git a/lib/z_pi.gi b/lib/z_pi.gi
index 8bd4d24..1252d95 100644
--- a/lib/z_pi.gi
+++ b/lib/z_pi.gi
@@ -25,7 +25,8 @@ InstallMethod( Z_piCons, "natural Z_pi (ResClasses)", true,
                              IsRing and IsAttributeStoringRep ),
                     rec( primes := Immutable( pi ) ) );
     SetIsTrivial( R, false );
-    SetIsZ_pi( R, true );
+    SetIsWholeFamily( R, false );
+    SetFilterObj( R, IsZ_pi );
     SetZero( R, 0 ); SetOne( R, 1 );
     SetIsFinite( R, false ); SetSize( R, infinity );
     SetIsAssociative( R, true ); SetIsCommutative( R, true );
@@ -52,15 +53,6 @@ InstallGlobalFunction( Z_pi,
     return Z_piCons( IsRing, Set( pi ) );
   end );
 
-#############################################################################
-##
-#M  IsZ_pi( <obj> ) . . . . . . . . . . . . . . . . . . . . . . . . .  Z_(pi)
-##
-##  Return false, if the contrary is not known explicitly.
-##
-InstallOtherMethod( IsZ_pi, "for non-Z_(pi) (ResClasses)", true,
-                    [ IsObject ], 0, ReturnFalse );
-
 #############################################################################
 ##
 #M  ViewString( <R> ) . . . . . . . . . . . . . . . . . . . . . .  for Z_(pi)