Lava lakes (magma lakes if underground) are wide pools of lava. They may be partially cooled and have a crust. They may be fed by lava rivers or lavafalls.