{A, B} -> B એ એક તુચ્છ ફંક્શનલ ડિપેન્ડન્સી છે કારણ કે B એ A, B નું ઉપગણ છે { A, B} -> B માં B નો સમાવેશ થાય છે, B ની વેલ્યુ નક્કી કરી શકાય છે.