La diferencia es que un predicado de paso está satisfecho mientras el sistema sufre un cambio topológico.