一般の添字集合に対して