Expressing a countably infinite pointwise sum of indicator functions in terms of set cardinality