implication

In formal concept analysis (FCA) implications relate sets of properties (or, synonymously, of attributes). An implication A→B holds in a given domain when every object having all attributes in A also has all attributes in B. Such implications characterize the concept hierarchy in an intuitive manner. Moreover, they are "well-behaved" with respect to algorithms. The knowledge acquisition method called attribute exploration uses implications.

View More On Wikipedia.org