Property ordering theorem