We already said that there are universally quantified and conditional properties, depending upon if some property holds always or just for some subset of all possible inputs. Now, we want to break down properties in different dimensions—by how they are defined. Let's see how we could describe some operations in general terms.