Por ejemplo, la representación de la relación entre los conjunto:
El subconjunto B se escribe en la parte inferior y el conjunto al cual pertenece: A, en la superior y se conectan con una línea, señalando esta pertenencia.
Si hay una relación entre tres conjuntos
, se haría del mismo modo: En el caso, por ejemplo: Se representaría así: Indicando que A es un subconjunto de B, que C es un subconjunto de B y que los conjuntos A y C son no comparables, esto es, que ni A es un subconjunto de C, ni C es un subconjunto de A.
Podemos ver otros ejemplos: Que también pueden representarse indicando el conjunto dentro de un círculo: En ejemplo sofisticado sería el de la representación de la dependencia por pertenencia entre la conectivas lógicas: