[obrisani korisnik]
Za hipotezu s vrijedi da je konzistentna, i da je svaka druga konzistentna hipoteza od koje je ona općenitija ili jednaka ujedno općenitija ili jednaka od s - one su jednake. Dakle, s su najspecifičnije hipoteze. Analogno su G najopćenitije. Nekakva “analogija” koja bi ti možda mogla pomoć: Neka je H multiskup (skup s dozvoljenim duplikatima), npr. H = {1, 2, 7, 5, 1, 7}. s su oni brojevi za koje vrijedi da ako je s >= h, onda je i h >=s. Dakle to su najmanji element (ili više jednakih): S = {1, 1}. Slično bi u G završili brojevi za koje vrijedi ako je h >= g, onda je i g >= h, tj. H = {7, 7}
