数学の集合論において、集合Sが順序数定義可能（じゅんじょすうていぎかのう、英:ordinaldefinable）であるとは、非形式的には、有限個の順序数によって一階述語論理式による定義を用いてされること。
数学里，单纯范畴（simplicialcategory）或序数范畴（ordinalcategory）是范畴论中用来定义单纯与余单纯对象的一个构造。