形式概念分析 -形式概念の導出 形式概念（A,B） オブジェクト集合Gの部分集合Aの全てのオブジェクトが属性集合Mの部分集合Bの全ての属性を持ち、かつAの各ノードはBの属性以外に共通して持つ属性がない時、この様なAとBの2つ組（A,B）を形式概念と呼ぶ 導出結果 （｛りんご,トマト,みかん｝、｛｝） （｛りんご,トマト｝、｛赤い｝） （｛りんご,みかん｝、｛果物｝） （｛りんご｝、｛赤い,果物｝） （｛トマト｝、｛赤い,野菜｝） （ {}、｛赤い,果物,野菜｝ ） 束への変換 形式概念（A1,B1）と（A2,B2）について、A1⊃A2（⇔B2⊃B1）の時、（A1,B1）＜（A2,B2）と定義する。 これにより、半順序＜が定義される （｛りんご,トマト,みかん｝、｛｝）は最下限、（ {}、｛赤い,果物,野菜｝ ）は最上限となるため、これは束の構造をとる 変換結果
