С этой целью предлагается классификация типов разделение , при этом не требуется , чтобы эти типы были взаимно .

###

В этом предложении не требуется , чтобы в этом предложении были взаимно типы разделение .