Strengthen validy of fragment of view camera

That is, strengthen ✓{n} (◯V b) into ∃ a, rel n a b.

This was discussed in !543 (comment 58219)

Note that as a consequence of this change, ✓ (◯ b) is no longer definitionally equal to ✓ b.