"Tropical marine fish" would apply to them as well as "Coral fish" I guess but it would not be as definitive. There are literally thousands of "coral fish species"
Green Torch Coral or Trumpet Coral
Coral
There is no particular species with the name. Some use it as part of their description, such as the "pennant coralfish" (Heniochus acuminatus).Named for their habitat, or for their ability to blend in with coral, the term "coral fish" is applied to several species such as the triggerfish, angelfish, damselfish, tang, and goby.
Her name is Coral and she is a clown fish.
Hard Coral is not a fish but, some small fish live in hard coral.
Actually many different types of fish eat coral. Butterflies, angelfish, filefish, and parrotfish are some of the more common coral eaters.
A large coral colony is called coral reef or coral island . There are many types of coral reefs .
Coe
Coral Cod is another name of the Miniatus Grouper, a type of seabass.
Some fish eat of the coral reefs, but they do not live on or in the coral reefs. But every fish living on or in the coral reef has a job to do that protects it from the intrudors.
coral
parrot fish eat coral