stavová množina systému