ultradistribution hyperfunction ultrapower superfunction integral function free ultrafilter total function ultradifferentiability pseudofunction regular function