Proper maps for lax algebras and the Kuratowski-Mrówka Theorem