Moj problem je u tome sto do sada nisam ozbiljno radio teoriju skupova, pa zbog toga ne mogu da izadjem sa teskocama u obradjivanju teorijskog dela Baza Podataka pracene algoritmima. Konkretno, ne razumem razliku kada nesto pripada necemu i kada je nesto podskup necega. Ja znam sta znaci kada je neko obelezje npr. Y podskup skupa X. Takodje, razumem kada neko obelezje ili element pripadaju nekom skupu. npr. Ako je slovo U - univerzalno obelezje, a X,Y su podskupovi tog univerzalnog skupa , a A funkcionalno zavisno od X i isto to A pripada U - univerzalnom skupu, sta bi mu to znacilo. Ako znamo da je X podskup U i da je A funkcionalno odredjeno X-om, pa zar to dalje ne znaci da i samo A pripada X-u. Deluje ovo zbunjujuce.... Konkretnije, zanima me da li obelezje X moze u istom trenutku da bude podskup U i da pripada univerzalnom obelezju U ?
Ako je X podskup od U, da li to automatski znaci i da X E U , gde slovo E zamenjuje oznaku za pripadanje ?