Cada función corresponde entonces con un subconjunto, si se interpreta la imagen de un elemento como un indicador de si dicho elemento pertenece al subconjunto: 0 indica «no pertenece», 1 indica «pertenece».