Mengder med funksjonelle avhengigheter med disse egenskapene kalles også eller . Å finne et slikt mengde S med funksjonelle avhengigheter som tilsvarer en inngangsmengde S' gitt som innputt kalles å finne et av S'. Dette problemet kan løses i polynomtid.