~e
from
AlloyのRelation
transpose of e;
逆の関係
例えば、
contensts: Dir lone→ FSObject
という関係があった時、
~contensts
と書けば、
Dir lone← FSObject
という関係のこと
転置
/mrsekut-book-4274068587/078 (3.4.3.4 転置)
~r in r
なら
r
は
対称律
を満たす
r + ~r
は
対称閉包
s.~r
と
r.s
は等しい
r.~r in iden
は、
r
が単射的
~r.r in iden
は、
r
が関数的