La definición conjuntista habitual, debida a Kuratowski, es: