exhaustivity

[ریاضیات] فرسایی