The abstract system is closed