Property Characterizations 内容特性

• Other features include: symmetric, functional, inverse, …
  其他特点包括: 相称, 功能, 相反…
• Essential for logical deductions!
  逻辑扣除的必须!