nubaso: 基数/（集合的）大小 [222; =nu+baso]