It is shown that the free
product operation on two groupoids preserves both elementary equivalence and
elementary subsystem. An example is given showing the above results for
semigroups false, thus answering in the negative a question of Feferman and
Vaught.