This is an old revision of the document!


Intersection

Set

context $X,Y\in\mathfrak U$
definiendum $ x\in X \cap Y $
postulate $ x\in X \cap Y \Leftrightarrow (x\in X\land x\in Y) $

Discussion

$ X \cap Y $ is commutative and idempotent.

The intersection and union are associative and distributive with respect to another.

Reference

Wikipedia: Intersection

Parents

Element of

Context

Link to graph
Log In
Improvements of the human condition