Go backward to Set Union Go up to Top Go forward to More Set Functions |
Definition: intersection
x intersection y := {z in x: z in y}
intersection x := {z in union x: (forall y in x: z in y)}
intersection x in S /\ A T := intersection {T: x in S /\ A}