Then a **formal concept** is defined as a pair (x,y), where f(x) = y and g(y) = x.

Or, using our other notation, (x,y) is a formal concept means that x' = y and y' = x.