F = \{(x, y) : x \in R^{b}, y \in R^{n}, x = y\}