an do sˈinolˌo ˌine ˌiposˈinolˌo tu ke epˈisis isçˈii ˈoti , ðˌilaðˈi an ipˈarçi tulˈaçistˌon ˌena stiçˈio tu to opˈio na mˈin anˈici sto , tˈote lˈeme ˈoti to sˈinolˌo ˌine ɣnˈisjo ˌiposˈinolˌo tu ke to sˌimvolˈizumˌe me i me .
Αν το σύνολο  είναι υποσύνολο του  και επίσης ισχύει ότι , δηλαδή αν υπάρχει τουλάχιστον ένα στοιχείο του  το οποίο να μην ανήκει στο , τότε λέμε ότι το σύνολο  είναι γνήσιο υποσύνολο του  και το συμβολίζουμε με  ή με .