for R being non empty transitive asymmetric RelStr
for a being bag of the carrier of R st a <> EmptyBag the carrier of R holds
{ x where x is Element of R : x is_maximal_in support a } <> {}