B0. If $(B \setminus \{ b \}) \cup \{ b' \}$ is a [pseudobracket system]{}, then replacement of $b \in B$ with $b'$ in $B$ is called an [*extension* ]{} operation over $B$ of type 0.  Analogously, assume that $b$ has type 