We define an attractive gravity probe surface (AGPS) as a compact 2-surface Sα with positive mean curvature k satisfying raDak∕k 2 ≥ α (for a constant α > -1∕2) in the local inverse mean curvature flow, where raDak is the derivative of k in the outward unit normal direction. For asymptotically flat spaces, any AGPS is proved to satisfy the areal inequality Aα ≤ 4π[(3 + 4α)∕(1 + 2α)]2(Gm)2, where Aα is the area of Sα and m is Arnowitt-Deser-Misner (ADM) mass. Equality is realized when the space is isometric to the t =constant hypersurface of the Schwarzschild spacetime and Sα is an r = constant surface with raDak∕k2 = α. We adapt the two methods, the inverse mean curvature flow and the conformal flow. Therefore, our result is applicable to the case where Sα has multiple components. For anti-de Sitter (AdS) spaces, the similar inequality is derived, but the proof is performed only by using the inverse mean curvature flow. We also discuss the cases with asymptotically locally AdS spaces.