How to call a relation raised to a function

Help! Data Structure
33

More worse, F-coalgebra and F-algebras are discussed
with the assumption F being monotone. ( e.g. pow is monotone). Negation may violate the monotonicity assumption. It is better for you to forget my noisy comment.