To start we are going to define an "\$\operatorname{FBM}\$" as follows:
Every integer is an \$\operatorname{FBM}\$.
If \$a\$ and \$b\$ are \$\operatorname{FBM}\$s, then \$a \lhd b\$ is an \$\operatorname{FBM}\$.
If \$a\$ and \$b\$ are \$\operatorname{FBM}\$s, then \$a \rhd b\$ is an \$\operatorn...