Urelement

There are several different but essentially equivalent ways to treat urelements in a first-order theory.