あ、すみません、もうひとつありますね....
a'<aとすればa'<xなるxが集合Sに属する