Definition Surjective Relation A relation is called surjective if if all elements of codomain are images of elements of domain .