عقدی که محقق گردیده است می تواند صحیح یا غیرنافذ باشد و رابطه منطقی بین عقد محقق شده و عقد صحیح عموم خصوص مطلق است.