## AbstractA retraction from a structure P to its substructure Q is a homomorphism from P onto Q that is the identity on Q. We present an algebraic condition which completely characterizes all posets and all reflexive graphs Q with the following poperty: the class of all posets or reflexive graphs, respectively, that admits a retraction onto Q is first-order definable.
[Edit] |