[GAP Forum] Filter by family

[Nagy Gabor]

Dear Forum,

I have a fixed monoid M.

All the elements of M have the same family Fam.

I would like to construct a filter "IsElementOfM" which returns true if 
and only if the object is in M.

Is this feasible?

Thanks in advance,

Gabor