子图的子图

Question

我想在 latex 中创建子图的子图。下面是一个详细示例：

给定两个集合，例如猫科动物和犬科动物，我首先构建一个包含多只猫和狗的子图。然后，添加“猫科动物”和“犬科动物”的下划线。最后，添加一个包含动物的下划线。

显然，仅在图形和子图形环境中是不可能的。我利用背页作为编译器。它们提供了有关图形实体的丰富文档。你能帮助我吗？