3
Terms and definitions
[intro.defs]
3.45
[defns.impl.prop]
property of the implementation
behavior, for a well-formed program (
[defns.
well.
formed]
) construct and correct data, that depends on the implementation