About sets, final