I have looked this up in several places but can only find heuristic descriptions. What I'm after is a definition like
If X has certain properties, the cross cap on (of?) X is the quotient of Y with Z...
or something similarly precise.
Many thanks in advance.