直接由定义来就行.
全是集合语言的推理.
只要你对定义理解清楚.
就没有问题.
详见参考资料.