style
table of contents
sections
Formal context definition
Formal concept definition
Implication definition
changed order of definitions
removed definition of Definition command
style
Defininition -> Definition
Example of formal context