hull operator (English, noun)
expansion: hull operator (plural hull operators)
Senses:
glosses: Synonym of closure operator
Forms:
form: hull operators
tags: plural