Euclidean

A relation is Euclidean if a is related to b and c, then b is related to c.

See this demonstrated here. Read more about this property here.