El conjunto transversal de una estructura de hipergrafos "G:=(H,K)" se define como: