This work introduces a set-theoretic foundation of deterministic bilateral matching processes and studies their properties. In particular, it formalizes a link between matching and informational constraints by developing a notion of anonymity that is based on the agents' matching histories. It...