Set-Theoretic Methods and QCA