diff --git a/gap/quasigroups.gd b/gap/quasigroups.gd
index acede97..d97a8dd 100644
--- a/gap/quasigroups.gd
+++ b/gap/quasigroups.gd
@@ -45,6 +45,7 @@ InstallTrueMethod(IsLeftQuotientElement, IsMultiplicativeElementWithInverse);
 
 ## element of a quasigroup
 DeclareCategory( "IsQuasigroupElement",
+                 IsMultiplicativeElement and 
                  IsLeftQuotientElement and IsRightQuotientElement );
 DeclareRepresentation( "IsQuasigroupElmRep",
     IsPositionalObjectRep and IsMultiplicativeElement, [1] );