Relation

Relation(R, x, y) returns the relation $r$ of R such that $(x,y)\in r$.