Galois Connection is Expressed by Miaximum