dedef