Quindi  è un elemento di  se e solo se  è un elemento degli insiemi  e  contemporaneamente, in simboli:
kwˈindɪ e ʊn elemˈento dɪ se e sˈolo se e ʊn elemˈento dˌeʎɪ insɪˈɛmɪ e kontemporaneamˈente, in sˈimbolɪ: