Полное и неполное ветвление: Основы теории