El lógico George Boolos es enfático al aclarar que la palabra «contiene» debe usarse solo para pertenencia de elementos, e «incluye» solo para relaciones de subconjuntos.