square-integrable function

function whose squared absolute value has finite integral