1. GlobalPlatform Technology, "GlobalPlatform Glossary," Version 1.2.1, March 2018.
Section 2, Page 11: Defines Secure Element (SE) as "A tamper-resistant secure hardware component..." and Provisioning as "The process of delivering, installing, and personalizing applications and/or services to a device." The question describes the provisioning of data onto the card's SE.
2. PCI Security Standards Council, "Payment Card Industry (PCI) Contactless Payments on COTS (CPoC™) Security and Test Requirements," Version 1.1, April 2020.
Introduction, Page 8: This document clearly distinguishes between solutions that use a hardware-based Secure Element (SE) and those that use Host Card Emulation (HCE), establishing that an SE is a distinct hardware component found in cards and devices, unlike the software-based HCE.
3. Mayes, K., & Markantonakis, K. (Eds.). (2017). Smart Cards, Tokens, Security and Applications (2nd ed.). Springer International Publishing.
Chapter 2, "Smart Card Manufacturing," Section 2.4, "Personalisation": This chapter describes the process of loading data into the chip's memory (EEPROM) after the card body has been manufactured. It states, "Personalisation is the process by which the card is loaded with data specific to the application and the end-user." This process of loading data into the secure chip is technically known as provisioning.