Beyond the theorems of Steinhaus and Ostrowski: combinatorial versions