\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amssymb, amsmath}
\newcommand{\N}{\mathbb{N}}
\newcommand{\K}{\mathbb{K}}
\newcommand{\Vect}{\operatorname{Vect}}
\usepackage{tikz}
\input{../.headers/additions.tex}

\begin{document}
\begin{align*}
	\Vect &= X \mapsto \min_{\subset } \{A \subset X, \ A\ \text{sev}\ X\}  \\ 
			    &= X \mapsto \bigcap_{\{A \subset X,\ A\ \text{sev}\ X\} } \\
			    &= X \mapsto \{ \sum_{k=0}^{n} \lambda_k u_k,\ (\lambda, u, n)\in \K^n  \times X \times \N \}  \\
\end{align*}

\begin{align*}
	\Vect \circ \Vect &= \Vect \\
	\Vect &\in \croiss_{\subset }(E, E) \\
	\Vect &\supset \operatorname{id}_{E}
\end{align*}
\end{document}
