actually infinite rigid set的意思|示意
美 / /
英 / /
实际上是无限刚集