external binary operation

function f: R × S → S or f: S × R → S