行動的非類似性の証明

行動的非類似性は、行動的等価性の双対として定義され、有限の証明系を与える。