「バトルエリアを離れるとき」は、そのデジモンが、「トラッシュに置かれる」「手札・デッキに戻る」「セキュリティに置かれる」「育成エリアに移動する」「他のカードの下に置かれる」のいずれかのときを指します。