性質定理

性質定理(theorem of property)是一種命題，指用來說明一個概念存在的必要條件的定理。