При наследовании
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
предусловие подпрограмм, возможно усиленное, применимо к любому ее переопределению у потомка
инвариант родителя автоматически является частью инварианта наследника(Верный ответ)
любое свойство на выходе подпрограммы, специфицированное для экземпляра родителя, будет также выполняться экземплярами наследника(Верный ответ)
предусловие подпрограмм, возможно ослабленное, применимо к любому ее переопределению у потомка(Верный ответ)