iPhone mini was branded along with the model (iPhone 12 mini, iPhone 13 mini).
iPhone Air is just Air (capital "A") not the iPhone 17 Air.
This following the iPhone SE convention? So we might not see a new Air next year, but eventually an iPhone Air (2nd gen)?