群の集合}の外部直和(external direct sum)(あるいは制限直積)}は、直積}の次のような部分集合である。