Szemantikai feltétel vagy korlátozás, illetve állami leíró korlátozás. Megkötés például előfordulhat, hogy egyes adattartomány értékeket vagy az alkalmazás néhány viselkedése korlátozása, vagy lehet, hogy a rendszer egy adott ponton szükség szerinti időben leírása.