явно не указано, просто пример дурацкий немного... у мну так и получаеццо, что ничего не стоит "стопкой" - максимум 2 предмета в Relation задействованы одновременно, поэтому транзитивности явной нет.
а понятие/термин у мну просто на слуху очень - лингвистика ведь :)