trace finite elements on the boundary

Hello again,

I need the DG skeleton finite element space that only live on the domain boundary, not the interior skeleton…
I guess the simplest way to do this is to define the FacetFESpace on the whole space, then set freedofs only on the boundary, but I don’t know how to proceed…

Best,
Guosheng