Wikipedia entry or Roman's "Lattices and Ordered Sets" p.286, or Bergman's General Algebra and Universal Constructions, p.177 and in fact every definition of full and/or faithful functor is defined in terms of the Set-theoretical properties: surjective and injective on (compatible) arrows.
Why aren't full-/faithful- defined in terms of epic and monic, in other words, in terms of algebraic invertibility or cancellation properties, eg if it is required to consider not a set of arrows but a topology or order (or any other category) of them.
Is this an historical accident awaiting suitable generalization, or is there some fundamental reason why Set seems to always lurk in the background?