{(1, 2) (1 ,3) (2, 2) (2 ,3)} domain and range
You asked:
Describe the properties of the relation: $\left\{\left(1, 2\right),\left(1, 3\right),\left(2, 2\right),\left(2, 3\right)\right\}$
MathBot Answer:
The relation is not a function, because of the following relation pairs:
\[\begin{align*} & 1 & \mapsto & \left\{2, 3\right\}\\ & 2 & \mapsto & \left\{2, 3\right\}\\ \end{align*}\]A function maps every possible input in its domain to exactly one output in its range.
The domain of the relation is:\[\left\{1, 2\right\}\]
The range of the relation is:\[\left\{2, 3\right\}\]
This relation has the following properties:\[\begin{array}{c|c|l} \textbf{Property} & \textbf{Value} & \textbf{Description} \\ \hline \text{Universal} & \text{No} &\text{For any two elements } a \text{ and } b \text{ in the domain, there exists a pair } (a,b)\text{.}\\ \hline \text{Identity} & \text{No} &\text{For each element } a \text{ in the domain, there is exactly one pair } (a,a)\text{.}\\ \hline \text{Constant} & \text{No} &\text{For each element } a \text{ in the domain, the only pair is } (a,k) \text{ for some constant } k\text{.}\\ \hline \text{Symmetric} & \text{No} &\text{For each pair } (a,b) \text{ in the relation, there exists a pair } (b,a)\text{.}\\ \hline \text{Reflexive} & \text{No} &\text{For each element } a \text{ in the domain, there exists a pair } (a,a)\text{.}\\ \hline \text{Transitive} & \text{Yes} &\text{If both } (a,b) \text{ and } (b,c) \text{ are in the relation, there exists a pair } (a,c)\text{.}\\ \hline \text{One~to~One} & \text{N/A} &\text{Both the relation and the inverse relation are functions.}\\ \end{array}\]