para todo: a, b número natural: a es menor o igual que b o b es menor o igual que a, todos los números naturales son "comparables".