drop my mb
preliminaries
df-if
df-1st
df-rdg
df-oadd
df-map
df-r1
df-card
df-cda
df-sub
df-div
df-fl
df-mod
df-ioo
df-fz
df-shft
df-limsup
df-cj
df-abs