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