设R是环,I1⊆I2⊆...⊆In⊆...是R的一个理想链,证明:是R的理想。
设A是个集合,设⊆p(A)。定义A的关系为:对a,b∈A,如果存在T∈使得a,b∈T则记证明:
如果的任两个不同成员不交,则关系满足传递律,举例说明此断言的逆断言不成立。