算法
加法は普通の中置記法では a + b と書くが、逆ポーランド記法では a b + と書く。 これは、上記の a0 a1 f という記法に当たるものと解される。 実数の減法・乗法・除法についても同様である。 ただし除法は、0 で割ることができないから、全域的ではない。
1 項算法も珍しくはない。 例えば、複素数にその共役複素数を対応させる写像は 1 項算法である。 また、体 K 上の線型空間 V においては、 K の任意の元 a と V の任意の元 v に対して V の元 av が存在するが、これは、K を添数集合とする V の 1 項算法族 (fa)a∈K があって fav を av で表していると解される。 こう考えれば、例えば環 R 上の加群 M における R の元の M への作用のような「外的算法」は、すべて 1 項算法とみなされる。 なお、1 項算法は単項算法とよぶ方が語呂がいい。