Quantitas vaporum aquae in aere compressionis per compressionem aeris temperaturam determinatam: in casu autem pressionis aeris compressi basically eadem, reducere temperiem compressi aeris compressi, ad redigendum quantitatem vaporum in aere, et excessum vaporum aquae. in liquidum condensans.
Sicciores congelatio secundum debitam relationem inter satietatem aquae vaporum pressionis et temperationis, usus refrigerationis fabrica facit refrigerationem aeris compressi ad punctum quoddam roris temperatus, praecipitatio aquae continens, per vaporem aquae separatoris et electrica INCILE fabrica aquam solvet; ut aer compressus siccus esse possit.