記号論的定義