for R being Relation
for X being set st X has_upper_Zorn_property_wrt R holds
X <> {}