condition that must always be true just prior to the execution of measuring procedure or before an operation in a formal specification, tingimus, mis peab alati olema tõene vahetult enne mõõteprotseduuri läbiviimist või enne ametlikku mõõtekirjeldusekohast toimingut