Complement
1.
Definition
\begin{align*} \text{Komplement} \coloneqq X\setminus Y \land Y \supseteq X \end{align*}
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:24