Liveness is a complementary property of safety, which states that:
Something good must happen with the explicitly stated logical boundaries.
Safety is a logically derived property that states:
Nothing bad happens given the explicitly stated logical boundaries.