(1) and (2) are sometimes called "schemata" because they do not correspond to actual supervenience relations until the sets of properties A and B, the domain of entities to which those properties apply, and a modal force have been specified. For modal forms of supervenience, the modal strength of the relation is usually taken to be a parameter (that is, the possible worlds appealed to may be physically possible, logically possible, etc.). Also, note that in the early literature properties were not always central, and there remain some who prefer to frame the relation in terms of predicates, facts, or entities instead, for example.