will be the relation of

to

. According to this definition,

is a relation which is one-one so long as

is a cardinal number (finite or infinite) and