(n.) Diminution of swelling; subsidence of anything swollen.