Доступность подкласса - Википедия - Subclass reachability

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