定义设置通过提及定义属性。
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“内涵。”摘自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Intension.html
