「集合A,Bは交わるintersect」定義と様々な同値表現

「集合A,Bは交わるintersect」のノートが一通り仕上がったので、アップロード。