Ｒの部分集合Ｓが
条件（　∃Ａ＞0　∀x∈Ｓ　　│x│≦Ａ　)
を満たすとき有界であるという。
条件の否定命題を作れ。

どのように作ればいいのでしょうか？
否定命題を作ったことがないのですが背理法を使うのでしょうか？