外部定義