Малый образ множества
Ма́лый о́браз мно́жества при отображении , множество всех элементов , прообразы которых целиком содержатся в , т. е. . Эквивалентное определение: . Малый образ множества при сюръективном отображении содержится в его образе, т. е. (отсюда название «малый»).