# Category:Relation Theory

This category contains results about Relation Theory.

Definitions specific to this category can be found in Definitions/Relation Theory.

**Relation theory** is the subfield of set theory concerned with the properties of relations and relational structures.

As a relation has the same conceptual definition as a (graph-theoretical) graph, it follows that there is considerable overlap between the fields of relation theory and graph theory.

## Subcategories

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

### A

### C

### E

### F

### G

### H

### I

### L

### M

### O

### P

### R

### S

### T

## Pages in category "Relation Theory"

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

### C

### D

### I

- Image is Subset of Codomain
- Image is Subset of Codomain/Corollary 1
- Image of Domain of Relation is Image Set
- Image of Element is Subset
- Image of Empty Set is Empty Set
- Image of Intersection under One-to-Many Relation
- Image of Intersection under One-to-Many Relation/Family of Sets
- Image of Intersection under One-to-Many Relation/General Result
- Image of Intersection under Relation
- Image of Intersection under Relation/Family of Sets
- Image of Intersection under Relation/General Result
- Image of Relation is Domain of Inverse Relation
- Image of Set Difference under Relation
- Image of Set Difference under Relation/Corollary 1
- Image of Set Difference under Relation/Corollary 2
- Image of Singleton under Relation
- Image of Subset under Relation equals Union of Images of Elements
- Image of Subset under Relation is Subset of Image
- Image of Subset under Relation is Subset of Image/Corollary 1
- Image of Union under Relation
- Image of Union under Relation/Family of Sets
- Image of Union under Relation/General Result
- Image Preserves Subsets
- Image under Subset of Relation is Subset of Image under Relation
- Intersection of Relations is Relation
- Inverse Image under Embedding of Image under Relation of Image of Point