H. , gdzie X jest zbiorem wszystkich wyników eksperymentu; X* jest klasą możliwych wartości x; zakładamy o niej, że stanowi przedział - ewentualnie nieograniczony; H jest klasą dopuszczalnych konkluzji. Elementem H może być punkt w X* lub przedział w X*, lub dopełnienie punktu (lub przedziału) w X*. Zbiór H jest zdefiniowany w taki sposób, że zachodzi relacja B+­Ź h = X* . Można wobec tego powiedzieć, że dla każdej wartości x jakaś hipoteza ze zbioru H jest prawdziwa oraz że każda hipoteza ze zbioru H może być prawdziwa.<br> Reguła wnioskowania d przyporządkowuje konkluzję każdej możliwej przesłance; jest więc pod względem formalnym funkcją określoną na zbiorze