Function

A relation behaves like a function if a uniqueness lemma and an effectiveness lemma can be proven assuming a particular set of positions in the relation are inputs.