Transitive properties act like that: for any items A, B, and C, whenever A x B and B x C, then also A x C.
This category has only the following subcategory.