Transitive over

From GO Wiki
Jump to navigation Jump to search

R1 transitive_over R2, X R1 Y, Y R1 Z => X R1 Z

See Regulates