的属性空间它的每一个都是如此子空间.存在“第一可数的"是遗传的，但有一个给定的属不是。
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“遗传。”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Heredity.html
