From Formal Concept Analysis:
If I have a set of objects:
G={Shark, Penguin, Bat}
and a set of attributes:
M={Breathe Underwater, Can Fly, has Vertebrae}
and I make a chart to represent my context (G,M,I) where I is the incidence relation (If my object g has attribute m, I mark an X in the chart)
| Breate Underwater | Can Fly | Has Vertebrae|
Shark | X | | X |
Penguin | | | X |
Bat | | X | X |
How do I represent my concept C(G,M,I)?
I know the sets of objects that fit in C(G,M,I) are
{{Shark},{Bat},{Shark,Penguin,Bat}}
but this leaves out the attributes and the incidence relation. I can represent {C(G,M,I); <=} as a Galois Lattice or Concept Lattice. I am just not sure how to represent C(G,M,I).