単射と全射
単射性と全射性は関数の特性を説明します．単射（ 一対一の写像）関数とは，同じ出力を生成する区別可能な入力が二つとない関数」のことです．全射（上への写像）関数は，値域の中のすべての元が，その出力を生成する定義域の中に対応する入力を少なくとも1つ持つ関数のことです．単射であり全射でもある関数は全単射と呼ばれます．Wolfram|Alphaは，与えられた関数が指定された定義域で単射および／または全射であるかどうかを判定することができます．
単射
関数が単射かどうかの判定を行う．
指定された関数が単射かどうかを判定する：
指定された定義域で単射かどうかを判定する：
双射
関数が全単射かどうかを求める．
指定された関数が全単射かどうかを判定する：
指定された定義域で全単射かどうかを判定する：
全射
関数が全射かどうかの判定を行う．