identityとpropertyと

Fundamentals of Digital Logic with VHDL Design ISE, p.32

To enable us to deal with a number of variables, it is useful to define some two- and three-variable algebraic identities. For each identity, its dual version is also given. These identities are often referred to as properties.

非公式訳:
複数の変数を扱えるようにしたいときは、2変数または3変数の代数恒等式をいくつか定義するのが便利です。下表には各恒等式の双対形式も示します。こうした恒等式はよく「(法)則」と呼ばれます。

交換、結合、分配、...