![[../../00 Asset Bank/Pasted image 20250123172012.png|sepia]] The [[Intersection]] is a [[Binary Operation]] between two [[Set|Sets]] $A,B$, denoted as $A \cap B$ is defined as the [[Set]] of all elements that are in both $A$ and $B$. $\huge A\cap B = \set{ x \mid x\in A \wedge x\in B} $ The [[Set|Sets]] $A, B$ are disjoint if their [[Intersection]] is the [[Empty Set]], $A\cap B=\emptyset$ This [[Operation]] is [[Associative]] and [[Commutative]]. This operator is idempotent when used on the same [[Set]]. $\huge A \cap A = A \, \forall A $