Function (mathematics) | 🗖 nosplit | ↑ parent "Formalization of Mathematics" | 22

Set of ordered pairs. That's it! This is illustrated at: https://math.stackexchange.com/questions/1480651/is-fx-x-1-x-2-a-function/1481099#1481099