Hipostatikal abstraktajo

Hipostatikal abstraktajo o subjektal abstraktajo en matematikala logiko es formala operaco, qua transformas predikati a relati.