Re: Definition of "definable in"

Since the set of maps from a non-empty set to the empty set is empty and since Ab x Ab\op has no empty hom-sets, there is no full embedding from Set to Ab x Ab\op. Does that answer your question? Reinhard Boerger