,
may not be brother or sister of
, since
and
may be the same person. The same applies to difference of height, but not to sameness of height, which has our second property but not our first. The relation "father," on the other hand, has our first property but not our second. A relation having our second property is called transitive.