Por tanto, definiendo