limA_nは
必ずある。要素数が有限に収まるなら有限集合、要素数が無限に発散するなら無限集合
要素数がφになれば空集合
収束条件
極限集合PとA_nの対称差M_nを取ってPまたはA_nのどの要素もM_nから取り尽される事が示せるなら
A_n→P

余談だが、Xor:ExclusiveOr って対称差の直訳?