Unity Meta-Properties
If all instances of a property f are wholes under the same relation, f carries unity (+U)
When at least one instance of f is not a whole, or when two instances of f are wholes under different relations, f does not carry unity (-U)
When no instance of f is a whole, f carries anti-unity (~U)