few definition for implications
definition of closure operator
Duquenne--guigues -> Duquenne-Guigues
definition of Duquenne--Guigues basis
style