# Functional statements

* function is a set
* function is a set the elements of which are ordered pairs
* function is a relation
* function is a binary relation that is functional and serial
* function is a binary relation that is right-unique and left-total
* function (relation) between two sets is an element of their dot product
* identity function is a mapping from a set back to itself
* identity function is identical to the reflexive closure

## misc/unsorted

* a relation that is functional means exactly that the relation is a function
* A relation that is injective and functional is precisely an injective function on its domain. It is a bijection of its domain with its range.
* relation need not be total; functions must be total (for now)
* R is a function X -> Y if for each x ∈ X, there is exactly one y ∈ Y such that xRy
* R is a bijection between X and Y if R and its inverse are both functions

## Synonyms and near terms

Function, \~AKA

* map
* mapping
* transformation
* correspondence
  * one-to-one correspondence
* adjection
  * surjection, onto
  * injection, one-to-one
  * bijection, one-to-one correspondence, inverse is a function
* association
* functional relation
* morphism (homomorphism, isomorphism)
* arrow
* routine, subroutine
* procedure, subprocedure


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://mandober.gitbook.io/math-debrief/260-function-theory/topics/function-statements.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.