Boolean-valued name ($a:\mathrm{dom}(a)⟶B$)

A well-founded recursively built set code with a set of immediate subnames and a Boolean coefficient for each. The coefficient records the extent to which the corresponding subname belongs. More generally one may permit repeated coded subnames, joining their coefficients. Recursive valued equality identifies different codes representing the same valued set; external equality of codes is not the interpreted equality.