See also Mutual defence clause (Article 42.7 TEU)

https://www.europarl.europa.eu/meetdocs/2009_2014/documents/...