Navigate / search

补集

[bǔ jí]
дополнительное множество; дополнение множества