利用二元关系性质的判定定理证明与关系性质的保守性和关系的闭包有关的几个定理,比用定义证明更为简洁.
The theory of determining properties of binary relations was used to prove some theories about conservativeness of some properties and the closure of binary relations.