Дэд олонлог

Математик, тэр дундаа олонлогийн онолд А олонлог нь В олонлогийн дотор агуулагддаг, өөрөөр хэлбэл, А олонлогийн бүх элемент нь В олонлогт харьяалагдаж байвал А-г В-ийн дэд олонлог гэж нэрлэдэг.