Как перевести следующую фразу: "we assume, that in each set, all subsumed positions are erased". Предметная область — конечные автоматы.