When a variable is assigned once, at most.
Common in FunctionalProgramming, LogicProgramming, DeclarativeProgramming (perhaps RelationalLanguage?)
See SingleAssignmentLanguage and StaticSingleAssignmentForm for more info.