Доступность подкласса - Subclass reachability - Wikipedia

В теория вычислительного обучения в математика, учитывая класс концепций C подклассом D является достижимый если существует частичное приближение S некоторого понятия такое, что D содержит в точности те понятия из C, которые являются расширениями к S (т.е.D = C | S).