सटीक संरचनात्मक अमूर्तन और सुगमता सीमाएँ