Быстрый вопрос, я изучаю интерфейсы и наследование.

Это не фактический код, просто пример. Допустим, у меня есть абстрактный класс Animal. Есть наследство с такими группами, как лошади и клыки. Там же есть интерфейс «Домашние животные». Он будет использоваться на разных подклассах Animal. Подкласс собаки «Собака» реализует интерфейс «Домашние животные». Поэтому все подклассы «Dog» также реализуют интерфейс «Pet» без необходимости индивидуальной реализации «Pets» для каждого подкласса «Dog», верно?