This is an old revision of the document!

Countable intersection

Definition

$X$
$A\in \mathrm{Sequence}(X)$
$n\in \mathbb N\cup\{\infty\}$
$\bigcap_{j=1}^n A_j \equiv \bigcap A(\mathrm{range}(n))$

Ramifications

Parents

Refinement of

Arbitrary intersection

Context

Sequence

Link to graph
Log In
Improvements of the human condition
limeGraphxioms