An alternative Label for this thing.

places a number of integrity conditions on which are inherited by this property, but are not formally expressible in Owl.