ormula_5 表示函数 formula_6 是从 formula_7 到 formula_8 的一个映射。Oystein Ore 于 1936 年使用箭号来表示某元素的像，Witold Hurewicz 于 1940 年给出现在所使用的格式来表示函数的映射。
集合建构式.一个集合的元素可以是用某种公式或条件所产生，这时候可以用集合建构式来表示，例如：在这里，冒号的意思是「使得（such that）」。