Если все элементы множества А входят в множество В, то можно сказать, что :
а) А – образ множества В; б) А – подмножество В;
в) В – прообраз множества А; г) В – подмножество А.