instance Option.instPreorder_quasiBorelSpaces {A : Type u_1} [Preorder A] : Preorder (Option A)

Equations

• Option.instPreorder_quasiBorelSpaces = { toLE := instLEOption, toLT := instLTOption, le_refl := ⋯, le_trans := ⋯, lt_iff_le_not_ge := ⋯ }

instance Option.instPartialOrder_quasiBorelSpaces {A : Type u_1} [PartialOrder A] : PartialOrder (Option A)

Bottom-order on options: none is bottom, some is ordered pointwise.

Equations

• Option.instPartialOrder_quasiBorelSpaces = { toPreorder := Option.instPreorder_quasiBorelSpaces, le_antisymm := ⋯ }

instance Option.instOrderBot_quasiBorelSpaces {A : Type u_1} [LE A] : OrderBot (Option A)

Equations

• Option.instOrderBot_quasiBorelSpaces = { bot := none, bot_le := ⋯ }