その手の問題は定義の論理式まで戻るのが基本。
ある要素が右辺の集合に含まれることを論理式で表現してみるといい。