ER図の問題点：部分集合

これはER図に限ったことではないが、A⊆X をどう図示するか？

1. 埋め込み写像 i:A→X
2. 1からの多値写像（非決定性要素） A:1→X
3. 集合としてのA

digraph{
  /* 集合 */
  A
  X
  /* 写像 */
  A -> X[label="i"] /* 埋め込み */
  X1[label="X"]
  1[label="{0}"]
  1 -> X1[label="A"] /* 非決定性要素 */
  /* 集合 */
  A2[label="A"]
}

R⊆X×Y の場合

digraph{
  /* 集合 */
  R
  XY[label="X×Y"]
  /* 写像 */
  R -> XY[label="i"] /* 埋め込み */
  XY1[label="X×Y"]
  1[label="{0}"]
  1 -> XY1[label="R"] /* 非決定性要素 */
  /* 集合 */
  R2[label="R"]
}