---
tag: WPFYMDMRE2
kind: concept
name: Transitive
sources:
  - wikipedia: en:3690584@r1358136878
    locator: List of first-order theories, section Equivalence relations
    note: adopted
    mention: wikipedia://en/3690584#DVE9
    sections: [Summary]
inventory: [CT1R1D61DY]
---

## Summary

- **[[Transitive|0CYRECG2YQ]]**: ∀*x* ∀*y* ∀*z* (*x*~*y* ∧ *y*~*z*) → *x*~*z*.