真部分の記法

$(\,v_1\subseteq v_2\,)\land (\,v_1\ne v_2\,)$ を $v_1\subsetneq v_2$ と書く。