В рамках булевозначного анализа даныоператорные версии классической леммыФаркаша в теории линейных неравенств.