Association Rule

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