初等集合論的基本題目: