User:Jon Awbrey/CODE

IDS Codes

• y0 = y \(\cdot\) y >= {d, f}{d, f} >= {f}{d}.

• y0 = y \(\cdot\) y >= {d, f}{d, f} >= {d}{d}

• \(y_0 = y \cdot y >= \{d, f\}\{d, f\} >= \{d\}\{d\}\)

• \(y_0\ =\ y \cdot y\ >=\ \{d, f\}\{d, f\}\ >=\ \{d\}\{d\}\)