Aがテスト付き半環で、test(A)がそのテスト元の集合だとする。δ:A→test(A) がプレドメイン作用素だとは、 ∀a∈A.∀p∈test(A).( δ(a) ≦ p ⇔ a ≦ pa ) のこと。次でも同値。 ∀a∈A.∀p∈test(A).(1. a ≦ δ(a)a, 2. δ(pa) ≦ p) プレドメイン作用素は次を満たす。 (i)…

行列で表現される変換が、 座標系側の変換のときはpassiveな変換 オブジェクトの変換（移動・変形）のときはactiveな変換 あんまり分かりやすいとは思えないが、オブジェクト視点だと自発的な移動・変形と、自分は動いてないけど相対的に変換を受ける（受動…