解析C++标准中execution contains an undefined operation的含义及疑问

C++（n4917），4.1.2p5（重点标注）：

符合标准的实现执行格式良好的程序时，应产生与抽象机器对应实例在相同程序和相同输入下的某一种可能执行相同的可观察行为。然而，如果任何此类execution contains an undefined operation（执行包含未定义操作），本文档对实现执行该程序及对应输入不做任何要求（甚至不要求考虑第一个未定义操作之前的操作）。

• 请问“execution contains an undefined operation”具体指什么？
• 它是指*presence（存在）未定义操作（即未执行该操作），还是指execution（执行）*了未定义操作？

内容的提问来源于stack exchange，提问作者pmor