Вот как раз утверждение "С является подмножеством А" - вызывает некоторые сомнения. Cross over - "накрест", "пересечение". Т.е. - "подмножество В" по Вашей классификации. А С - является подмножеством более широкого множества "эклектика", другим подмножеством которого является и А. Причем пересечение А и С - не является пустым множеством, но и не "тождественно С".