F = { ( x , y ) : x ∈ ℛ b , y ∈ ℛ n , x = y }