# Category:Binary relations

Computing portal |

Here is a list of articles in the Binary relations category of the Computing portal that unifies foundations of mathematics and computations using computers.

Wikimedia Commons has media related to .Binary relations |

## Subcategories

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

## Pages in category "Binary relations"

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

- Binary relation
*(computing)*

### A

- Accessibility relation
*(computing)* - Ancestral relation
*(computing)* - Antisymmetric relation
*(computing)* - Asymmetric relation
*(computing)*

### B

- Better-quasi-ordering
*(computing)*

### C

- Category of relations
*(computing)* - Comparability
*(computing)* - Congruence relation
*(computing)* - Connex relation
*(computing)* - Converse relation
*(computing)* - Covering relation
*(computing)*

### D

- Dense order
*(computing)* - Dependence relation
*(computing)* - Dependency relation
*(computing)* - Directed set
*(computing)*

### E

- Equality (mathematics)
*(computing)* - Equipollence (geometry)
*(computing)* - Equivalence class
*(computing)* - Euclidean relation
*(computing)*

### F

- Foundational relation
*(organization)*

### H

- Heterogeneous relation
*(computing)*

### I

- Idempotent relation
*(computing)* - Intransitivity
*(computing)*

### N

- Noetherian relation
*(computing)*

### P

- Partially ordered set
*(computing)* - Preorder
*(computing)* - Prewellordering
*(computing)*

### Q

- Quasitransitive relation
*(computing)* - Quotient by an equivalence relation
*(computing)*

### R

- Rational consequence relation
*(computing)* - Reflexive closure
*(computing)*

### S

- Semiorder
*(computing)* - Separoid
*(computing)* - Serial relation
*(computing)* - Series-parallel partial order
*(computing)* - Symmetric closure
*(computing)*

### T

- Total order
*(computing)* - Transitive closure
*(computing)* - Trichotomy (mathematics)
*(computing)*

### W

- Weak ordering
*(computing)* - Well-founded relation
*(computing)* - Well-order
*(computing)* - Well-quasi-ordering
*(computing)*