directed sets