Nombres para un conjunto de condiciones
Sea © un conjunto de condiciones. Un nombre es un múltiple cuyos elementos son todos pares ordenados de nombres y de condiciones. Los nombres se indican μ, μ1, μ2, etc. Todo elemento de un nombre tiene entonces la forma <μ1, π>, donde μ1 es un nombre y π es una condición.
El carácter circular de esta definición se deshace estratificando los nombres. En el ejemplo mencionado, el nombre μ1 deberá ser siempre de un estrato inferior (por lo tanto, definido con anterioridad) que el estrato del nombre μ, en cuya composición interviene. El estrato cero está dado por los nombres cuyos elementos son de tipo <Ø, π>.
