Транзитивность отношения включения множеств выражается следующим тезисом:Если A⊂BA⊂B A \subset B и B⊂CB⊂C B \subset C , то X⊂YX⊂YX \subset Y