Arivey-ensemblo
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.

Ensemblo-teorio