===== Zadání množiny relevantních vztahů =====

Pro popis zadání množiny relevantních vztahů generovaných a verifikovaných [[lm_guha_te_g_procedura|GUHA procedurou]] jsou důležité pojmy 
[[lm_guha_te_literal|literálu]], [[lm_guha_te_dilci_cedent|dílčího cedentu]] a [[lm_guha_te_cedent|cedentu]]. Ty umožňují využít vlastnosti jednotlivých základních atributů a jejich strukturu. Zadání množiny relevantních vztahů je dáno zobecněným kvantifikátorem a jedním nebo více 
[[lm_guha_te_procedury_zadavani#Zadání množiny relevantních cedentů|zadáními množiny relevantních cedentů]]. 
Součástí zadání množiny relevantních vztahů může být i jedno nebo dvě [[lm_guha_te_procedury_zadavani#Zadání seznamu atributů|zadání seznamu atributů]]. Informace o zadání množiny relevantních cedentů lze získat i z této {{ :t_3_cedenty_wiki.pdf |této prezentace}}.

Kvantifikátory jsou specifické pro každou proceduru, zadání množiny  relevantních cedentů i seznamu atributů se provádí jednotným způsobem pro všechny procedury.