두 개의 함수 f와 g가 정의역이 같고, 정의역의 각 원소 x에 대하여 f(x)와 g(x)의 값이 같고, 그 값이 단하나 일 때 두 함수는 일대일 대응을 이룬다고 한다.
그리고 집합 A, B의 원소를 서로 대응시켰을 때 A의 한 원소와 B의 단 하나의 원소가 대응하고, B도 한 원소가 A의 단 하나에 대응하는 것을 말한다.
이때 집합 A와 B는 대등(對等)이라고 한다.