[heinrichhartman]

That's perfectly fine, and sometimes done in expository writing.

https://www.amazon.com/Algebraic-Geometry-Projective-Varieti...

This get's very tedious to write if you use this over and over in proofs.

[runald]

If you had to tediously write it over and over in proofs, why can't just you give it a name or an abstraction?

↑ As you would do in programming.