"ω;γ "a true" と記したとき、γ は以前のように真なる仮説群を表し、ω は妥当な仮説群を表す。