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.org Developer Guide
Mining — Bitcoin Wiki
What exactly is mining? — Bitcoin StackExchange