De las definiciones de arriba se pueden derivar las siguientes: