and

as

, we define

as the relation of

to