斎藤毅著『微積分』のロピタルの定理のステートメントを見てみました。

g(x) ≠ 0 for all (a, b)
g'(x) > 0 for all (a, b) または g'(x) < 0 for all (a, b)

を仮定しています。

こういうのってどうなんですかね？

見た目が g'(x) ≠ 0 for all (a, b) よりも強く見える仮定になっていて好きじゃありません。