f：R→R に対して、命題 A(f), S(f), B(f) を次のように定義する。

A(f)「R−B_fは第一類集合である」
S(f)「R−B_fはR中稠密である」
B(f)「fはある開区間の上でリプシッツ連続である」

すると、>>502の(1)と(2)は次のように書ける。

(1) ∀f：R→R s.t. A(f)∧¬S(f) → B(f)
(2) ∀f：R→R s.t. ¬(A(f)∧S(f))

いちいち "(f)" があると読みにくいので、これを省略すれば、次のように書ける。

(1) ∀f：R→R s.t. A∧¬S → B
(2) ∀f：R→R s.t. ¬(A∧S)

この表現が実際に>>502の(1)と(2)を正しく表現できていることを、きちんと確認されたし。