the idea of a one-to-one relationship between something in two sets. a lot of simple functions behave like that; one specific input outputs one specific output. math #concept