שינויים

האם כדי להוכיח שמתקיים יחס סדר חלקי מספקי מספיק להוכיח אי רפלקסיבי, אנטי סימרי סימטרי וטרנזטיבי?