 There are various logical operations which map some properties to others. One property can be the negation of another, or the conjunction or disjunction of two or more others. A monadic property can be the reflexivization of a binary relation; its existential or universal quantification in one or other of its argument places, or the result of saturating one or other of its argument places with an object: given the relation of loving, reflexivization yields loving oneself; quantification yields loving something, loving everything, being loved by something, and being loved by everything; while saturation yields, for example, loving Socrates and being loved by Socrates. In each of these cases, let us say that the output property is “definable from” the input properties and objects (taken collectively), and “partly definable from” each of the input properties (individually). Let us also assume that partial definability is transitive.