Closure of Reduced Incidence Algebras under Type-Compatible Convolution