text: Пусть L {\displaystyle L} будет алгоритмом, таким что при заданном наборе из m {\displaystyle m} экземпляров, извлечённых из фиксированного, но неизвестного распределения D {\displaystyle {\mathcal {D}}} и помеченных согласно понятия c ∈ C {\displaystyle c\in {\mathcal {C}}} строкой бит длиной n {\displaystyle n} каждый, выходом будет гипотеза h ∈ H n , m {\displaystyle h\in {\mathcal {H}}_{n,m}} , согласующаяся с помеченными экзмеплярами.