Некоторые свойства комбинаторов Шейнфинкеля–Карристатья