所属式

$v_i\in v_j$ を 所属式 とよぶ。