Theoretische Grundlegung related domains (1)