llamada producto escalar, que satisface ciertos axiomas: