The source of confusion here is that we're mixing up (bounded) volumetric shapes, line segments, and planar polygons, with their infinite counterparts - the lines, points, planes, and infinite volumes. An infinite object has no shape - it is infinite in some dimensions and zero in all others - this is what gives us those clear well-defined intersection objects, which are either zero or infinite. A bounded object has a shape - it has a boundary that is not infinite. When you intersect such objects within their shared subspaces (two line segments on the same line, two polygons on the same plane, two volumes in the same space) you get either a null, or an object of the same type. This is obvious when you make one of the objects infinite - an intersection of a line segment with its line gives you the same line segment. So the reason you are having difficulty imagining two somethings that will intersect in a plane is that a plane is an infinite object, so only two infinite objects can intersect in a plane. So you need two infinite volumes, that pass through the same 4D space, but are not the same volume. These volumes share a two-dimensional subspace - the area of 4D space they intersect in is a plane. It's infinite in two dimensions, and zero-sized in two others.