Množina vrcholů pravoúhlého trojúhelníku