This definition comes from the technical glossary.
Mining is the act of creating valid Bitcoin blocks, which requires demonstrating proof of work, and miners are devices that mine or people who own those devices.
Mining — Bitcoin Developer Guide
Mining — Bitcoin Wiki
What exactly is mining? — Bitcoin StackExchange