事例：演算 <-:

VDM++ での演算 <-: に準拠した事例（VDM_Map.domBy）を紹介します。

    m = VDM_Map({"A":1,"B":2})

    s = VDM_Set(["A","C"])

    print ">>> %s <-: %s"%(s,m)

    X = m.domBy(s)

    print X; assert X == VDM_Map({"B":2})

写像 m の定義域から集合 s の要素を削除した写像を得るには、メソッド domBy を利用します。このコードを実行すると、

>>> {'A', 'C'} <-: {'A' |-> 1, 'B' |-> 2}

{'B' |-> 2}

定義域から削除した写像は {'B' |-> 2} になります。