Quasitransitive relation

A **quasitransitive relation** is a type of binary relation that generalizes the concept of transitivity. A binary relation \( R \) on a set \( A \) is called quasitransitive if it satisfies the following property: For all \( x, y, z \in A \): - If \( x R y \) and \( x R z \), then \( y R z \) or \( z R y \) holds.