Комбинаторных определения экспандера (для однородного и для двудольного графов). Вероятностное доказательство существования комбинаторных экспандеров.