Лемма Ха́ара, лемма, дающая алгебраическую характеризацию включения многогранных множеств; обобщение леммы Фаркаша.