if there are infinitely many generators, a similar situation prevails except that now there are no atoms. each element of the boolean algebra is a combination of finitely many of the generating propositions, with two such elements deemed identical if they are logically equivalent.