Pro popis zadání množiny relevantních vztahů generovaných a verifikovaných GUHA procedurou jsou důležité pojmy literálu, dílčího cedentu a 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 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ě zadání seznamu atributů. Informace o zadání množiny relevantních cedentů lze získat i z této 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.