tests for set product functor