Association Rule

Basically an Implication where and are non-empty and there must exist an intersection.