[see also: intersect, encounter, come across, run into, satisfy
The line l meets A in a point x <in a subset S>.
Each component which meets X lies entirely within Y.
The remaining requirements for a type F map are also met.