Safety

Safety is a logically derived property that states:

Nothing bad happens given the explicitly stated logical boundaries. 

It is a complementary property of liveness, which states that:

Something good must happen with the explicitly stated logical boundaries.