Inchidere tranzitiva - Mentinerea dependentelor functionale elementare valabile pentru o schema de relatie, obtinuta prin aplicarea proprietatii de tranzitivitate asupra unei multimi initiale de dependente functionale elementare.
Enciclopedia universală: articole și definiții cu litera I

