Function
Definition 1. Let be sets. A function from to is a relation from to satisfying
(a) Dom() = ,
(b) If and , then .
는 관습상 가 아닌 라고 쓴다. 또한 에서 로의 관계인 함수 는 와 같이 표기한다.
The Condition For Functions To Be Equal
Theorem 1. Let be functions. Then .
The Union of Functions
Theorem 2. Let and be functions such that . Then the union of and defines the function where
Image and Inverse Imange
Definition 1. Let be a function, and let and , respectively. Then
(a) The image of under , which we denote , is the set .
(b) The inverse image of under , which we denote , is the set .
Theorem 3
Theorem 3. Let be a function. Then
(a) .
(b) .
(c) .
(d) .
Theorem 4
Theorem 4. Let be a function. Then
(b)에서 등호가 성립하지 않는 이유는 상수 함수의 존재 때문이다. 좌변은 상수 하나의 singleton인데, 우변은 그보다 항상 크거나 같기 마련이다.
Theorem 5
Theorem 5. Let be a function. Then
Theorem 6
Theorem 6. Let be a function and let . Then