Операция сопоставления, удаления или фильтрации либо передачи утверждений между различными наборами утверждений.