# transitive

Let $A$ be a set. $A$ is said to be *transitive ^{}* if whenever $x\in A$ then $x\subseteq A$.

Equivalently, $A$ is transitive if whenever $x\in A$ and $y\in x$ then $y\in A$.

Title | transitive |
---|---|

Canonical name | Transitive |

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

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

Owner | Evandar (27) |

Last modified by | Evandar (27) |

Numerical id | 6 |

Author | Evandar (27) |

Entry type | Definition |

Classification | msc 03E20 |

Synonym | transitive set |

Related topic | TransitiveClosure |