対応(あるいは二項関係)が与えられたとき、をの始集合あるいは始域、域(domain)と呼び、対してを終集合、終域、余域(codomain)などと呼ぶ。