lei de composição interna

Also known as internal composition law, internal law of composition

function f: S × S → S