Let be a relation from a set to a set , then
By definition a relation from to is a subset of .
Question ID VK-003246