In questo caso si può verificare direttamente per ogni elemento di  se è anche elemento di  (o viceversa), ottenendo
in kwˌesto kˈazo sɪ pʊˈɔ verifikˈare diretːamˈente per ˌoɲɲɪ elemˈento dɪ se e ˌanke elemˈento dɪ o vitʃevˈɛrsa, otːenˈɛndo