Вычитание объема одного понятия из объема другого дает, в зависимости от видов рассматриваемых понятий, усеченную область объема. Вычитание возможно только между пересекающимися и подчиненными понятиями.
