Non-strict don't care functions, whose foremost representative is the ubiquitous if then else, play an essential role in computer science. As far as the semantics is concerned, they can be modelled by their totalizations with the appropriate use of elements representing undeenedness, as D. Scott has shown in his denotational approach. The situation is not so straightforward when we consider non...