在数学中，函数是描述两个集合之间关系的一种方式。其中一个集合称为定义域，另一个集合称为值域。在函数中，自变量是定义域中的变量，因变量是值域中的对应元素。自变量是函数的输入，其取值范围确定了该函数所能接受的有效输入。因变量是函数的输出，其取值由自变量决定，因此称为“对应说”。函数的定义可以通过函数图像、函数表达式或者文字描述等方式进行。函数具有单值性，即每个自变量只对应唯一的因变量，这是函数与其他集合关系的区别之一。