安全性とライブ性

安全性

違反していればその場で指摘でき、すでにダメージは生じているのでその違反は帳消しにできない

ライブ性

ある時点で保たれていなくても将来満たされる可能性がある