Pokrycia zbioru zależności funkcyjnych

Dobry wieczór,

Czy może mi ktoś objaśnić te zadanie :

Niech dane będą dwa zbiory :
	F= {A-->BC, BC-->A,AD-->E,E-->C}
	G={A-->BC,BC-->A,BCD-->E,E-->C}  Pokazać, że F(tutaj potrójny znak "=" w sensie dodatkowa kreska pozioma) , nie rozumiem tej zależności, bądź tego znaku i jak mam to wyprowadzić?

Przespałeś jak widać zajęcia z Algebry, a to niedobrze, bo Algebra przez całe studia informatyczne jeszcze nie raz się przewinie.
http://pl.wikipedia.org/wiki/Kongruencja_(algebra)

może i faktycznie przespałem ... jednakże dalej nie umiem zrobić tego zadania