Vakioedellytys
Vakioedellytys on käsite, jota käytetään useilla tieteenaloilla tarkoittamaan ehtoa tai edellytystä, joka pysyy muuttumattomana analyysin, mallin tai ohjelman aikana. Se kuvaa tilannetta, jossa tietty ehto on tosi riippumatta muuttujien hetkellisestä tilasta.
Matematiikassa ja tilastotieteessä vakioedellytys voi olla kiinteä parametri, jota ei muuteta tutkittavassa järjestelmässä. Esimerkiksi mallissa y
Tietojenkäsittelytieteessä sekä muodollisissa menetelmissä vakioedellytys voi viitata invariantiin eli ehtoon, joka pysyy totena ohjelman suorituksen ajan.
On tärkeää huomata, että termi on kontekstisidonnainen ja sitä käytetään eri tavoin; toisinaan puhutaankin yksinkertaisesti edellytyksestä
Lisäesimerkki: jos tehtävässä oletetaan, että parametri c on vakio (c = 5), niin c toimii vakioedellytyksenä. Vakioedellytyksen