# Category:Mathematical relations

Computing portal |

Here is a list of articles in the category **Mathematical relations** of the Computing portal that unifies foundations of mathematics and computations using computers. Mathematical relations fall into various types according to their specific properties, often as expressed in the axioms or definitions that they satisfy. Many of these types of relations are listed below.

## Subcategories

This category has the following 5 subcategories, out of 5 total.

### A

### B

### F

### G

### R

## Pages in category "Mathematical relations"

The following 33 pages are in this category, out of 33 total.

### A

- Allegory (category theory)
*(computing)* - Allegory (mathematics)
*(computing)* - Alternating multilinear map
*(computing)*

### B

- Bidirectional transformation
*(computing)* - Bijection
*(computing)* - Bijection, injection and surjection
*(computing)*

### C

- Cointerpretability
*(computing)* - Composition of relations
*(computing)* - Contour set
*(computing)*

### D

- Demonic composition
*(computing)* - Difunctional
*(computing)*

### E

- Exceptional isomorphism
*(computing)*

### F

- Fiber (mathematics)
*(computing)* - Finitary relation
*(computing)*

### H

- Homogeneous relation
*(computing)* - Hypostatic abstraction
*(philosophy)*

### I

- Idempotence
*(computing)* - Inverse trigonometric functions
*(computing)*

### J

- Jouanolou's trick
*(computing)*

### N

- Near sets
*(computing)*

### P

- Partial function
*(computing)* - Property (mathematics)
*(computing)* - Propositional function
*(computing)*

### Q

- Quasi-commutative property
*(computing)*

### R

- Reduct
*(computing)* - Relation algebra
*(computing)* - Relation construction
*(computing)* - Representation (mathematics)
*(computing)*

### S

- Sequential composition
*(computing)* - Surjective function
*(computing)*

### T

- Ternary equivalence relation
*(computing)* - Ternary relation
*(computing)*

### U

- Unimodality
*(computing)*