(Q64861)

English

transitive relation

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

Statements

0 references

Identifiers