Todo conjunto es un subconjunto de sí mismo, ya que siempre se cumple que «cada elemento de es a su vez un elemento de ».