adjective: (logic, philosophy, of a set of properties) In a relationship with another set such that membership in the other set implies membership in the present set
adjective: Supervening; occurring subsequently; coming after something, especially when not causally connected.