海外关系 排列组合 错别字 规律 有界变量上确界 心理分析 心理学 形式分类及其生成