# domain

Let $R$ be a binary relation^{}. Then the set of all $x$ such that $xRy$ is called the *domain* of $R$. That is, the domain of $R$ is the set of all first coordinates of the ordered pairs in $R$.

Title | domain |
---|---|

Canonical name | Domain1 |

Date of creation | 2013-03-22 12:00:48 |

Last modified on | 2013-03-22 12:00:48 |

Owner | akrowne (2) |

Last modified by | akrowne (2) |

Numerical id | 9 |

Author | akrowne (2) |

Entry type | Definition |

Classification | msc 03E20 |