We investigate the relations between decreasing sequences of sets and the insertion of semi-continuous functions, and give some characterizations of countably metacompact spaces, countably paracompact spaces, monotonically countably paracompact spaces (MCP), monotonically countably metacompact spaces (MCM), perfectly normal spaces and stratiable spaces.