. This definition enables us to prove that

is a one-one relation, provided neither

or

is zero. And of course

is the converse relation to