transitive relation

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

en-GB/ˈtɹænsɪˌtɪv ɹɪˈleɪʃn/
en-US/ˈtɹænsɪtɪv ɹɪˈleɪʃən/

カテゴリ：

endorelationquasitransitive relation