Arivey-ensemblo
(Ridirektita de Ensemblo di ariveyo)
Per funciono donata f: A → B, l'ensemblo B esas vokata l'arivey-ensemblo o kodomeno di f.
L'ensemblo di ariveyo darfas esar konfundinta kun imajo di f, f(A), esas generale nur sub-ensemblo di B.