とがともに定義域がで終域がの関数で、の元が掛けることができるとき(例えばは数からなる集合)、との点ごとの積はからへのをに写す別の関数である。