A General Framework for Tilings, Delone Sets, Functions, and Measures and Their Interrelation

We define a general framework that includes objects such as tilings, Delone sets, functions, and measures. We define local derivability and mutual local derivability (MLD) between any two of these objects in order to describe their interrelation. This is a generalization of the local derivability and MLD (or S-MLD) for tilings and Delone sets which are used in literature, under a mild assumption. We show that several canonical maps in aperiodic order send an object [Formula: see text] to one that is MLD with [Formula: see text] . Moreover, we show that, for an object [Formula: see text] and a class [Formula: see text] of objects, a mild condition on them ensures that there exists some [Formula: see text] that is MLD with [Formula: see text] . As an application, we study pattern-equivariant functions. In particular, we show that the space of all pattern-equivariant functions contains all the information on the original object up to MLD, in a quite general setting.