English 集合の拡張