for n being Nat
for R being NatRelStr of n holds the carrier of R c= the carrier of (Mycielskian R)