事例：演算 :>

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

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

    s = VDM_Set([1,3])

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

    X = m.rngTo(s)

    print X; assert X == VDM_Map({"A":1})

写像 m の値域を集合 s の要素に限定した写像を得るには、メソッド rngTo を利用します。このコードを実行すると、

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

{'A' |-> 1}

値域を限定した写像は {'A' |-> 1} になります。