User blog:Testitemqlstudop/FPT 2

Since my last definiton was evidently trash, I made a new and simpler version, f_v(L) |-> (O |-> O):

https://testitem.github.io/colg/fpt3.html

What is T?