transitive relation

binary relation R with the property that xRy and yRz implies xRz

分类: