kulupu pi nanpa lon ken pana (toki Inli: domain) li ijo lon nasin pi ante nanpa li kulupu pi ken pana. insa pi f:A → B la, A li ken lon kulupu ni taso.