bounded linear mapping; bounded linear operator; bounded linear transformation