It has recently been argued that if spacetime M possesses nontrivial structure at small scales, an appropriate semiclassical description of it should be based on nonlocal bitensors instead of local tensors such as the metric gab(p). Two most relevant bitensors in this context are Synge's world function O(p,p0) and the van Vleck determinant (VVD) (p,p0), as they encode the metric properties of spacetime and (de)focusing behavior of geodesics. They also characterize the leading short distance behavior of two point functions of the d'Alembartian p0p. We begin by discussing the intrinsic and extrinsic geometry of equigeodesic surfaces SG,p0={p M|O(p,p0)=constant} in a geodesically convex neighborhood of an event p0 and highlight some elementary identities relating the VVD with geometry of SG,p0. As an aside, we also comment on the contribution of SG,p0 to the surface term in the Einstein-Hilbert (EH) action and show that it can be written as a volume integral of ln. We then proceed to study the small scale structure of spacetime in presence of a Lorentz invariant short distance cutoff l0 using O(p,p0) and (p,p0), based on some recently developed ideas. We derive a second rank bitensor qab(p,p0;l0)=qab[gab,O] which naturally yields geodesic intervals bounded from below and reduces to gab for O»l20/2. We present a general and mathematically rigorous analysis of short distance structure of spacetime based on (a) geometry of equigeodesic surfaces SG,p0 of gab, (b) structure of the nonlocal d'Alembartian p0passociated with qab, and (c) properties of VVD. In particular, we prove the following: (i) The Ricci biscalar Ric(p,p0) of qab is completely determined by SG,p0, the tidal tensor and first two derivatives of (p,p0), and has a nontrivial classical limit (see text for details): liml00limO0±Ric(p,p0)=±DRabqaqb (ii) The GHY term in EH action evaluated on equigeodesic surfaces straddling the causal boundaries of an event p0 acquires a nontrivial structure. These results strongly suggest that the mere existence of a Lorentz invariant minimal length l0 can leave unsuppressed residues independent of l0 and (surprisingly) independent of many precise details of quantum gravity. For example, the coincidence limit of Ric(p,p0) is finite as long as the modification of distances Sl0:2O2O satisfies (i) Sl0(0)=l20 (the condition of minimal length), (ii) S0(x)=x, and (iii) [|Sl0|/S'2l0](0)<8. In particular, the function Sl0(x), which should eventually come from a complete framework of quantum gravity, need not admit a perturbative expansion in l0. Finally, we elaborate on certain technical and conceptual aspects of our results in the context of entropy of spacetime and classical description of gravitational dynamics based on Noether charge of diffeomorphism invariance instead of the EH lagrangian. [ABSTRACT FROM AUTHOR]