Actualmente, en la lógica tal relación se considera formalmente: