Maximal element

Summary