C is the set of contracted ideas in A.

• C是A中局限理想的集合。