engl.: pattern matching
Ein Muster M mit Bezeichnern b1, …, bk passt auf einen strukturierten Wert w (engl.: a pattern matches a value w), wenn es eine Substitution der Bezeichner bj in M durch Werte vj gibt, in Zeichen M[v1/b1, …, vk/bk], so dass M[v1/b1, …,vk/bk] = w