Intelligence via ultrafilters: structural properties of some intelligence comparators of deterministic Legg-Hutter agents (Journal of Artificial General Intelligence, 2019)