operator (mathematics)