A Fisher type inequality for weighted regular t-wise balanced designs

Delsarte and Seidel found that the dimension of a certain linear space can serve as a Fisher type lower bound for the size of a weighted regular t-wise balanced design. They put it as a problem to explicitly determine this dimension. This note calculates the rank of a special set inclusion matrix and then solves the above problem.