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