Пример из трёх множеств, которые связывает отношение "является разновидностью":
Пусть у нас есть множество животных, включающее собаку, кошку и кролика.
Множество A: {собака, кошка, кролик}
Множество B: {собака} - собака является разновидностью животного
Множество C: {кошка} - кошка является разновидностью животного
Таким образом, множество B и C связывает отношение "является разновидностью" по отношению к множеству A (животные).