Closed vz-ai closed 1 year ago
The definiton of the relation $X \Rightarrow Y$ requires $X,Y$ disjoint, which is written $X \cap Y = \emptyset$. Shortly after there is a reference to $X \cup Y$
Thank you for this correction.
The definiton of the relation $X \Rightarrow Y$ requires $X,Y$ disjoint, which is written $X \cap Y = \emptyset$. Shortly after there is a reference to $X \cup Y$