Para cada nodo X con padre P, se cumple que el dato en P es mayor o igual que el dato en X.