Fix df-ltnqqs and ltrelnq in iset.mm
Fix df-ltnqqs and ltrelnq in iset.mm

The definition df-ltnqqs is taken from df-ltq from 2012 set.mm.

The proof of ltrelnq is easy from df-ltnqqs .

metamath/set.mm,metamath/set.mm,metamath/set.mm