En Conjunto por comprensión D = {x|x es un animal doméstico} ¿¿¿No le está faltando mas enunciado ???. Osea no es igual que el C porque a...

Es verdad, pero para no hacer el ejemplo largo, solo usó esos

No siento que falte más enunciado, cuando describes a un conjunto lo que haces es "generalizar " a los elementos de dicho conjunto, entonces si bien tu ejemplo está bien, aún así, con el ejemplo que dió el profesor sigue comprendiendo a tus casos, porque un loro, hamster y todos los animales dómesticos entran en x | x es un animal doméstico, lo que haces es generalizar.