Attractive gravity probe surface with positive cosmological constant

In four dimensional spacetimes with a positive cosmological constant, we introduce a new geometrical object associated with the cosmological horizon and then show the areal inequality. We also examine the attractive gravity probe surfaces as an indicator for the existence of attractive gravity.