Ett fullständigt ordnadt system lägel varasatt