法界次第初門 3.57

3.57

十七、有法空。有法空者，有法，名諸因緣和合生故有。二法無故，名有法空。有人解云：現在一切法及無為法，名為有法。如是有法皆空，故名有法空。

Seventeenth: existent-dharma emptiness. Existent-dharma emptiness: existent dharmas are named as existing because they are born from the conjunction of various causes and conditions. Because the two dharmas are non-existent, it is called existent-dharma emptiness. Someone explains: all present dharmas and unconditioned dharmas are named existent dharmas. Such existent dharmas are all empty, therefore it is called existent-dharma emptiness.