La expresión formal de las dos últimas definiciones puede simplificarse si definimos la siguiente relación