Vollständige Induktion related domains (4)