Монотонная функция, сохраняющая константы и удовлетворяющая условию ⟨1ᵐ⟩