Discrete-math 11

Partial order properties (continued) theorem

---

Definitions

Upper bound definition

Lower bound definition

Least upper bound (supremum, sup) definition

Greatest lower bound (infimum, inf) definition

---

Properties of relations

Complete definition

To one definition

Onto definition

One-to-one definition

---

Example

---

Function definition

---

Example

---

Definitions

One-to-one function (injection) definition

Onto function (surjection) definition

Onto and one-to-one (bijection) definition

---

Example

---

Domain of the function definition

Range of the function definition

Image of the function definition

---

Composition of functions definition

---